Reviews
A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj (Note on the proof of the existence of standard models). Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-532
-
- Article
- Export citation
Arnold Oberschelp. Über die Axiome produkt-abgeschlossener arithmetischer Klassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 95–123.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-533
-
- Article
- Export citation
Arnold Oberschelp. Über die Axiome arithmetischer Klassen mit Abgeschlossenheits-bedingungen. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 no. 1–2 (1959), pp. 26–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 533
-
- Article
- Export citation
M. Machover. A note on sentences preserved under direct products and powers. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 519–523.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 533
-
- Article
- Export citation
E. Marczewski. Sur les congruences et les propriétés positives d'algèbres abstraites. Colloquium mathematicum, vol. 2 no. 3–4 (for 1951, pub. 1952), pp. 220–228. - Roger C. Lyndon. Properties preserved under homomorphism. Pacific journal of mathematics, vol. 9 (1959), pp. 143–154. - Roger C. Lyndon. Properties preserved in subdirect products. Pacific journal of mathematics, vol. 9 (1959), pp. 155–164. - R. C. Lyndon. Sentences preserved under homomorphisms; sentences preserved under subdirect products. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 122–124. - R. C. Lyndon. Properties preserved under algebraic constructions. Bulletin of the American Mathematical Society, vol. 65 (1959), pp. 287–299.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 533-534
-
- Article
- Export citation
Bjarni Jónsson. Universal relational systems. Mathematica Scandinavia, vol. 4 (1956), pp.193–208. - B. Jónsson. Homogeneous universal relational systems. Mathematica Scandinavia, vol. 8 (1960), pp. 137–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
-
- Article
- Export citation
Michael Morley and Robert Vaught. Homogeneous universal models. Mathematica Scandinavia, vol. 11 (1962), pp. 37–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 535
-
- Article
- Export citation
M. I. Kargapolov. Ob eléméntarnoj téorii abélévyh grupp (On the elementary theory of Abelian groups). Algébra i logika, Séminar, vol. 1 no. 6 (1963), pp. 26–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-536
-
- Article
- Export citation
Jerzy Slupecki. Funkcja Łukasiewicz {The Łukasiewicz function). Matematyka, fizyka, astronomia, II, Uniwersytet Wroctawski. im. Boleslawa Bieruta, Zeszyty naukowe, ser. B no. 3, Państwowe Wydawnictwo Naukowe, Warsaw and Breslau1959, pp. 33–40.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 536
-
- Article
- Export citation
Witold A. Pogorzelski and Jerzy Słupecki. Dowód pelności klasycznego rachunku zdań na gruncie aksjomatycznej metodologii (A proof of the completeness of the classical propositional calculus on the ground of an axiomatic methodology). Matematyka, fizyka, astronomia, III, Acta Universitatis Wratislaviensis, no. 12, Państwowe Wydawnictwo Naukowe, Warsaw and Breslau1962, pp. 11–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-537
-
- Article
- Export citation
R. Sikorski. A theorem on non-classical functional calculi. Bulletin de l'Academie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 649–650. - R. Sikorski. Some applications of interior mappings. Fundamenta mathematicae, vol. 45 (1957), pp. 200–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 537
-
- Article
- Export citation
Ronald Harrop. Some structure results for propositional calculi. The journal of symbolic logic, vol. 30 (1965), pp. 271–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 537-538
-
- Article
- Export citation
Vladimir G. Kirin. Gentzen's method for the many-valued propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 317–332.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 538-539
-
- Article
- Export citation
Arto Salomaa. On essential variables of functions, especially in the algebra of logic. Annales Academiae Scientiarum Fennicae, series A.I, Mathematica, no. 339, Helsinki1963, 11 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 539
-
- Article
- Export citation
P. Schofield. On a correspondence between many-valued and two-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 265–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 539
-
- Article
- Export citation
P. Schofield. Complete subsets of mappings over a finite domain. Proceedings of the Cambridge Philosophical Society, vol. 62 (1966), pp. 597–611.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-540
-
- Article
- Export citation
Angelo Raffaele Meo. On the minimal third order expression of a Boolean function. Proceedings of the Third Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, October 7–12, 1962, American Institute of Electrical Engineers, New York1962, pp. 5–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 540
-
- Article
- Export citation
I. B. Pyne and E. J. McCluskeyJr., The reduction of redundancy in solving prime implicant tables. IRE transactions on electronic computers, vol. EC-11 (1962), pp. 473–482.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 540-541
-
- Article
- Export citation
Thomas H. MottJr., Determination of the ir redundant normal forms of a truth function by iterated consensus of the prime implicants. IRE transactions on electronic computers, vol. EC-9 (1960), pp. 245–252. - D. M. Y. Chang and T. H. MottJr., Computing irredundant normal forms from abbreviated presence functions. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 335–342.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-542
-
- Article
- Export citation
Joachim Metz. Grundriβ einer allgemeinen Schaltungstheorie (Analyse). German, with German, English, and Russian summaries. Elektronische Informationsverarbeitung und Kybernetik (Berlin), vol. 1 no. 1 (1965), pp. 32–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
-
- Article
- Export citation