Reviews
Klaus Härtig. Einstellige Funktionen als Grundbegriffe der elementaren Zahlentheorie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 209–215.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
-
- Article
- Export citation
Paul Bernays. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, edited by A. Heyting. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
-
- Article
- Export citation
Walter Felscher and Jürgen Schmidt. Natürliche Zahlen, Ordnung, Nachfolge. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 81–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-92
-
- Article
- Export citation
Leon Henkin. On mathematical induction. American mathematical monthly, vol. 67 (1960), pp. 323–338.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-93
-
- Article
- Export citation
C. C. Chang and Anne C. Morel. On closure under direct product. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 149–154.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-235
-
- Article
- Export citation
John L. Kelley. General topology. D. van Nostrand Company, Inc., New York, Toronto, and London, 1955, xiv + 298 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
-
- Article
- Export citation
Alfred Tarski. ¿ Qué es la geometria elemental ?Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 (for 1958, published 1959), pp. 41–51. - Alfred Tarski. What is elementary geometry?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. 16–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 93
-
- Article
- Export citation
B. Banaschewski. Hüllensysteme und Erweiterung von Quasi-Ordnungen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 117–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-236
-
- Article
- Export citation
J. Łos. On the extending of models (I). Fundamenta mathematicae, vol. 42 (1955), pp. 38–54. - J. Łos and R. Suszko. On the extending of models (II). Common extensions. Fundamenta mathematicae, vol. 42 (1955), pp. 343–347. - J. Słomiński. On the extending of models (III). Extensions in equationally definable classes of algebras. Fundamenta mathematicae, vol. 43 (1956), pp. 69–76. - J. Łos and R. Suszko. On the extending of models (IV). Infinite sums of models. Fundamenta mathematicae, vol. 44 (1957), pp. 52–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-95
-
- Article
- Export citation
Leon Henkin. Two concepts from the theory of models. The journal of symbolic logic, vol. 21 (1956), pp. 28–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
-
- Article
- Export citation
B. Banaschewski. On transfinite iteration. Fundamenta mathematicae, vol. 46 (1958), pp. 225–229.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 236
-
- Article
- Export citation
Abraham Robinson. Note on a problem of L. Henkin. The journal of symbolic logic, vol. 21 (1956), pp. 33–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
-
- Article
- Export citation
B. A. Trahténbrot. Oprédélénié konečnogo množéstva i deduktivnaá népolnota téorii množéstv (The definition of a finite set and the deductive incompleteness of set theory). Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 20 (1956), pp. 569–582.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-237
-
- Article
- Export citation
Steven Orey. Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 (1959), pp. 72–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
-
- Article
- Export citation
B. Germansky. The induction axiom and the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 219–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 237
-
- Article
- Export citation
Wanda Szmielew. Some metamathematical problems concerning elementary hyperbolic geometry. 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. 30–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-238
-
- Article
- Export citation
Simon Kochen. Completeness of algebraic systems in higher order calculi. 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. 370–376.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
-
- Article
- Export citation
W. Szmielew. Absolute calculus of segments and its metamathematical implications. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 no. 4 (1959), pp. 213–220.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 238
-
- Article
- Export citation
Hugo Ribeiro. The notion of universal completeness. Portugaliae mathematica, vol. 15 no. 3 (for 1956, pub. 1957), pp. 83–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
-
- Article
- Export citation
Abraham Robinson. Applications to field theory. 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. 326–331.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
-
- Article
- Export citation