Contents
Reviews
András Hajnal and László Kalmár. An elementary combinatorial theorem with an application to axiomatic set theory. Publicationes mathematlcae (Debrecen), vol. 4 (1956), pp. 431–449. - E. Burger. Eine Bemerkung zur Bernays-Godel-Mengenlehre. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 178–179.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
-
- Article
- Export citation
R. B. Braithwaite. Symposium: Reducibility. III. Aristotelian Society supplementary volume XXVI. London1952, pp. 121–138.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
-
- Article
- Export citation
Jean Ladrière. Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques. Collection de logique mathématique, B II. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1957, XV + 715 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
Gisbert Hasenjaeger. Zur Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 175–177.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-177
-
- Article
- Export citation
Azriel Levy. Indépendance conditionnelle de V = L et d'axiomes qui se rattachent au systeme de M. Gödel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1582–1583.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
-
- Article
- Export citation
Karel Louis de Bouvère. A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam 1959. North-Holland Publishing Company, Amsterdam1959, XV + 64 pp. - Karel Louis de Bouvère. Stellingen. Leaflet distributed with the foregoing, 4 pp. unnumbered.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-273
-
- Article
- Export citation
Jack Kaminsky. Church on ontological commitment. The journal of philosophy, vol. 56 (1959), pp. 452–458.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
-
- Article
- Export citation
R. Montague and R. L. Vaught. Natural models of set theories. Fundamenta mathematical vol. 47 (1959), pp. 219–242.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
-
- Article
- Export citation
R. Montague and R. L. Vaught. A note on theories with selectors. Fundamenta mathematical vol. 47 (1959), pp. 243–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
-
- Article
- Export citation
William W. Rozeboom. The logic of color words. The philosophical review, vol. 67 (1958), pp. 353–366.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
-
- Article
- Export citation
Roger C. Lyndon. An interpolation theorem in the predicate calculus. Pacific journal of mathematics, vol. 9 (1959), pp. 129–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
-
- Article
- Export citation
J. R. Shoenfield. On the independence of the axiom of constructibility. American journal of mathematics, vol. 81 (1959), pp. 537–840.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
-
- Article
- Export citation
János Surányi. Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe. Verlag der Ungarischen Akademie der Wissenschaften, Budapest1959, 216 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-276
-
- Article
- Export citation
Elliott Mendelson. The axiom of Fundierung and the axiom of choice. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 65–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
-
- Article
- Export citation
Azriel Lévy. On Ackermann's set theory. The journal of symbolic logic, Bd. 24 Heft 2 (für 1959, veröff. 1960), S. 154–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
-
- Article
- Export citation
R. M. Martin. On inscriptions. Philosophy and phenomenological research, vol. 11 (1951), pp. 535–540.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-85
-
- Article
- Export citation
R. M. Martin. On inscriptions and concatenation. Philosophy and phenomenological research, vol. 12 (1952), pp. 418–421.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
-
- Article
- Export citation
Herbert A. Simon. Definable terms and primitives in axiom systems. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957—January 4, 1958. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1959, pp. 443–453.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
-
- Article
- Export citation
A. Lévy. The independence of various definitions of finiteness. Fundamenta mathematicae, vol. 46 (1958), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
-
- Article
- Export citation
Stig Kanger. Handbok i logik. Del I. Logisk konsekvens. Filosofiska studier utgivna av Seminariet för Filosofi vid Stockholms Högskola, no. 4. Stockholm1959, v + 91 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 276
-
- Article
- Export citation