Reviews
Lucio Lombardo-Radice. Ordinali transfiniti e principio del terzo escluso (A proposito di un ragionamento del Gödel). Università di Roma, Istituto Nazionale di Alta Matematica, Rendiconti di matematica e delle sue applicazioni, ser. 5 vol. 9 no. 3–4 (for 1950, pub. 1951), pp. 421–428.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 214-215
-
- Article
- Export citation
H. Wendelin. Ein Kriterium für die Erweiterbarkeit einer Implikation zu einer Aquivalenz. Österreichische Akademie der Wissenschqften, Anzeiger, Mathematisch-naturwissenschaftliche Klasse, vol. 85 (1948), pp. 66–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
-
- Article
- Export citation
Wacław Sierpiński. Hypothèse du continu. Second edition. Chelsea Publishing Company, New York1956, XVII + 274 pp. - Wacław Sierpiński. L'hypothèse généralisée du continu et l'axiome du choix. A reprint of XIII 176(9). Therein, pp. 193–197.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
-
- Article
- Export citation
Wilhelm Ackermann. Zur Axiomatik der Mengenlehre. Mathematische Annalen, vol. 131 (1956), pp. 336–345.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
-
- Article
- Export citation
Ladislav Rieger. A contribution to Gödel's axiomatic set-theory, I. English, with Russian summary. Čéhoslovačkij matématičéskij žurnal (Czechoslovak mathematical journal), vol. 7 (82) (1957), pp. 323–357.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-217
-
- Article
- Export citation
A. Mostowski. On a generalization of quantifiers. Fundamenta mathematicae, vol. 44 (1957), pp. 12–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
-
- Article
- Export citation
Klaus Härtig. Ein Spezialfall der Substitution als Grundbeziehung der elementaren Semiotik. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 151–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
-
- Article
- Export citation
Abraham Robinson. L'application de la logique formelle aux mathématiques. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 51–63. - G. Kurepa, G. Kreisel, A. Robinson. Discussion. Applications scientifiques de la logique mathéatique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, p. 64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-219
-
- Article
- Export citation
Paul R. Halmos. Algebraic logic, I. Monadic Boolean algebras. Compositio mathematica, vol. 12 (1955), p. 217–249.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-222
-
- Article
- Export citation
Paul R. Halmos. Algebraic logic II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fundamenta mathematicae, vol. 43 (1956), pp. 256–325.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
-
- Article
- Export citation
Paul R. Halmos. Polyadic Boolean algebras. Proceedings of the National Academy of Sciences of the United States of America, vol. 40 (1954), pp. 296–301.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 223
-
- Article
- Export citation
Paul R. Halmos. The basic concepts of algebraic logic. The American mathematical monthly, vol. 63 (1956), pp. 363–387.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 223
-
- Article
- Export citation
N. D. Gautam. The validity of equations of complex algebras. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 117–124.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
-
- Article
- Export citation
Michael O. Rabin. Effective computability of winning strategies. Contributions to the theory of games, Volume III, Annals of Mathematics studies number 39, Princeton University Press, Princeton, New Jersey, 1957, pp. 147–157.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
-
- Article
- Export citation
A. A. Mučnik. Ob otdélimosti rékursivno-péréčislimyh množestv (On separability of recursively enumerable sets). Doklady Akadémii Nauk SSSR, vol. 109 (1956), pp. 29–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-225
-
- Article
- Export citation
V. A. Uspénskij. Ob algoritmičéskoj svodimosti (On algorithmic reducibility). Trudy Trétégo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′−iúl′ 1956, vol. 2, Izdatél′stvo Akadémii Nauk SSSR, Moscow1956, pp. 66–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
-
- Article
- Export citation
R. M. Friedberg. Two recursively enumerable sets of incomparable degrees of unsolvability (solution of Post's problem, 1944). Proceedings of the National Academy of Sciences of the United States of America, vol. 43 (1957), pp. 236–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
-
- Article
- Export citation
Daniel Lacombe. Sur le semi-réseau constitué par les degrés d'indécidabilité récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 239 (1954), pp. 1108–1109.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 226
-
- Article
- Export citation
László Kalmár. Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 93–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 227
-
- Article
- Export citation
R. L. Goodstein. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1957, XII + 190 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
-
- Article
- Export citation