Contents
Reviews
B. A. Trachtenbrot. Wieso können Automaten rechnen? Deutsche Übersetzung von Algoritmy i mašinnoé rešénié zadač von Karl-Heinz Rupp. VEB Deutscher Verlag der Wissenschaften, Berlin1959, 101 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-225
-
- Article
- Export citation
A. S. Kahr, Edward F. Moore, and Hao Wang. Entscheidungsproblem reduced to the ∀∃∀ case. Proceedings of the National Academy of Sciences, Bd. 48 (1962), S. 365–377.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
-
- Article
- Export citation
Arnold Oberschelp. Untersuchungen zur mehrsortigen Quantorenlogik. Mathematische Annalen, Bd. 145 (1962), S. 297–333.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
-
- Article
- Export citation
Ferdinand Gonseth. Le problème du language et l'ouverture à l′expérience. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique 34, Éditions du Griffon, Neuchâtel 1959, S. 84–91; auch Dialectica, Bd. 12 (1958), S. 288–295.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 226
-
- Article
- Export citation
R. L. Goodstein. On the nature of mathematical systems. Englisch, mit englischem und französischem Résumé. Ebd., S. 92–112; auch ebd., S. 296–316.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
-
- 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
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
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
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
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
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
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
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
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
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
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
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