Contents
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
Robert G. Turnbull. A note on Mr. Hare's “logic of imperatives.”Philosophical studies (Minneapolis), vol. 5 (1954), pp. 33–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 442
-
- Article
- Export citation
Steven Orey. On ω-consistency and related properties. The journal of symbolic logic, vol. 21 (1956), pp. 246–252.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 40-41
-
- Article
- Export citation
E. J. Lemmon. New foundations for Lewis modal systems. The journal of symbolic logic, vol. 22 no. 2 (1957), pp. 176–186.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
-
- Article
- Export citation
Jean Porte. Un système de postulats pour le calcul des prédicats. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 817–819.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 41
-
- 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
A. N. Prior. The necessary and the possible.The listener, vol. 57 (1957), pp. 627–628.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-348
-
- Article
- Export citation
Jean de la Harpe. La logique de l'assertion pure. Nouvelle encyclopédie philosophique 48. Presses Universitaires de France, Paris1950, xii + 77 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 442-443
-
- Article
- Export citation
Tadeusz Kubiński. O pewnej metodzie tworzenia logik modalnych (On a method of constructing modal logics). Polish, with English and Russian summaries. Studia logica, vol. 4 (1956), pp. 213–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-349
-
- 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
Kazuo Matsumoto. Sur la structure concernant la logique moderne. Journal of the Osaka Institute of Science and Technology (The Kinki University), Part I, Mathematics and physics, vol. 2 no. 1–2 (1950), pp. 67–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 443-444
-
- Article
- Export citation
Steven Orey. Formal development of ordinal number theory. The journal of symbolic logic, vol. 20 (1955), pp. 95–104. - Steven Orey. On the relative consistency of set theory. The journal of symbolic logic, vol. 21 (1956), pp. 280–290.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-42
-
- Article
- Export citation
George E. Collins. Distributivity and an axiom of choice. The journal of symbolic logic, vol. 19 (1954), pp. 275–277.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 42
-
- 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
Antonio Monteiro. Axiomes indépendants pour les algèbres de Brouwer. Revista de la Unión Matemática Argentina y de la Asociación Física Argentina, Bd. 17 (1955), S. 149–160.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 444
-
- Article
- Export citation
Karl R. Popper. Two autonomous axiom systems for the calculus of probabilities. The British journal for the philosophy of science, vol. 6 (1955–1956), pp. 51–57. - K. R. Popper. Errata. The British journal for the philosophy of science, vol. 6 (1955–1956), p. 176. - K. R. Popper. Corrigendum. The British journal for the philosophy of science, vol. 6 (1955–1956), p. 351.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 349
-
- Article
- Export citation
José Ferrater Mora and Hugues Leblanc. Lógica matemática. Fondo de Cultura Económica, Mexico and Buenos Aires1955, 210 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-350
-
- 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
Elliott Mendelson. Some proofs of independence in axiomatic set theory. The journal of symbolic logic, vol. 21 (1956), pp. 291–303. - Elliott Mendelson. The independence of a weak axiom of choice. The journal of symbolic logic, pp. 350–366.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 42-44
-
- Article
- Export citation
A. Grzegorczyk. Elementarily definable analysis. Fundamenta mathematicae, Bd. 41 Heft 2 (1955), S. 311–338.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 444-445
-
- Article
- Export citation