Contents
Reviews
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-372
-
- Article
- Export citation
A. Heyting. Blich von der intuitionistischen Warte. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 128–141; auch edb., S. 332–345.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
-
- 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
Meeting Report
Meeting of the Association for Symbolic Logic, Leeds 1962
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-382
-
- Article
- Export citation
Reviews
Georg Kreisel. Hilbert's programme. Englisch, mit englischem und deutschem Résumé. Ebd., S. 142–168; auch ebd., S. 346–372.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
-
- 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
Abraham Robinson. Relative model-completeness and the elimination of quantifiers. Englisch, mit englischem, deutschem und französischem Zusammenfassung. Ebd., S. 190–203; auch ebd., S. 394–407. - Abraham Robinson. Relative model-completeness and the elimination of quantifiers. Eine Abkürzung desselben. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2. Auflage, Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, S. 155–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-230
-
- Article
- Export citation
Front matter
JSL volume 27 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Reviews
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
H. Arnold Schmidt. Über einige neuere Untersuchungen zur Modalitätenlogik. Deutsch, mit deutschem, französischem und englischem Résumé. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique 34, Éditions du Griffon, Neuchâtel 1959, S. 204–217; auch Dialectica, Bd. 12 (1958), S. 408–421. - Ein Bericht über Verf.'s XVI 230; Abstract in diesem Journal, Bd. 20, S. 94; Das fundamentale Implikationensystem einer implikativen Modalitätenstrukiur mit idempotenter Möglichkeit(Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 (1956), S. 33–54); Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen (ebd., Bd. 3 H. 1–2 (1957), S. 29–49); und G. Emdes Kriterien für die Herleitbarkeit in Modalitätenstrukturen (ebd., Bd. 3 H. 3–4 (1958), S. 79–111).
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 230
-
- Article
- Export citation
Kurt Schütte. Aussagenlogische Grundeigenschaften formaler Systeme. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 218–238, auch ebd., S. 422–442.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
-
- 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
Ernst Specker. Dualität. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 247–261; auch ebd., S. 451–465.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 231
-
- 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
Th. Skolem. Reduction of axiom systems with axiom schemes to systems with only simple axioms. Ebd., S. 239–246; auch ebd., S. 443–450.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 232
-
- Article
- Export citation
R. O. Gandy, G. Kreisel and W. W. Tait. Set existence. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 577–582, and vol. 9 (1961), pp. 881–882.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-233
-
- 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
Donald Monk. On the representation theory for cylindric algebras. Pacific journal of mathematics, vol. 11 (1961), pp. 1447–1457.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-234
-
- Article
- Export citation