Reviews
Rózsa Péter. Graphschemata und rekursive Funktionen. Dialectica, vol. 12 (1958), pp. 373–393; also Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique no. 34, Éditions du Griffon, Neuchâtel 1959, pp. 169–189. - Rósza Péter. Über die Partiell-rekursivität der durch Graphschemata definierten zahlentheoretischen Funktionen. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös nominatae, Sectio mathematica, vol. 2 (1959), pp. 41–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
-
- Article
- Export citation
Hartley RogersJr., Recursive functions over well-ordered partial orderings. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 847–853.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
-
- Article
- Export citation
J. C. E. Dekker and J. Myhill. Some theorems on classes of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 89 (1958), pp. 25–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
-
- Article
- Export citation
J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 (1958), pp. 357–373.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-85
-
- Article
- Export citation
Solomon Feferman. Degrees of unsolvability associated with classes of formalized theories. The journal of symbolic logic, vol. 22 (1957), pp. 161–175. - J. R. Shoenfield. Degrees of formal systems. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 389–392.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-86
-
- Article
- Export citation
László Kalmár. Ein direkter Beweis für die allgemein-rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 2 (1956), pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
-
- Article
- Export citation
Günter Asser. Normierte Postsche Algorithmen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 5 (1959), pp. 323–333.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
-
- Article
- Export citation
Gaisi Takeuti. On the recursive functions of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 12 no. 2 (1960), pp. 119–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 88
-
- Article
- Export citation
Azriel Lévy. Axiom schemata of strong infinity in axiomatic set theory. Pacific journal of mathematics, vol. 10 (1960), pp. 223–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-89
-
- Article
- Export citation
Setsuya Seki. On transfinite inferences. Commentarii mathematici Universitatis Sancti Pauli, vol. 4 no. 1 (1955), pp. 43–45.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-90
-
- Article
- Export citation
Shôji Maehara. General recursive functions in the number-theoretic formal system. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 2 (1957), pp. 119–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 90
-
- Article
- Export citation
Shôji Maehara. Über die rekursive Einführung der Funktionen in der reinen Zahlentheorie. Proceedings of the Japan Academy, vol. 33 (1957), pp. 111–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 90
-
- Article
- Export citation
J. R. Shoenfield. Open sentences and the induction axiom. The journal of symbolic logic, vol. 23 no. 1 (1958), pp. 7–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
-
- Article
- Export citation
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
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
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
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
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