Contents
Reviews
Gregorio Klimovsky. Tres enunciados equivalentes al teorema de Zorn. Contribuciones cientificas, Serie matematica, vol. 2 no. 1. Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires 1956, 29 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 681
-
- Article
- Export citation
Wolfram Schwabhäuser. Über die Vollständigkeit der elementaren euklidischen Geometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 137–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
G. F. Schumm. On some open questions of B. Sobociński. Notre Dame Journal of format logic, vol. 10 no. 3 (1969), pp. 261–262.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
Karl Döhmann. Zur Charakteristik der Kontingenz. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto, Lògica, gnoseologia, filosofia della scienze, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 137–141.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
-
- Article
- Export citation
Andrzej Grzegorczyk. A philosophically plausible formal interpretation of intuitionistic logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 596–601; also Indagationes matkematicae, vol. 26 (1964), pp. 596–601.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
Wolfram Schwabhäuser. Entscheidbarkeit und Vollständigkeit der elementaren hyperbolischen Geometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 132–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Samuel Issman. La conception formaliste des mathématiques. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto Lògica, gnoseologia, filosofia della scienze, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 237–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
-
- Article
- Export citation
Kurt Hauschild. Eine Bemerkung zum Mengenbildungsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 9–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 681-682
-
- Article
- Export citation
Tsutomu Hosoi. On intermediate logics. Journal of the Faculty of Science, University of Tokyo, section I, vol. 14 (1967), pp. 293–312, and vol. 16 (1969), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-330
-
- Article
- Export citation
Jean van Heijenoort. Preface. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 1–12. - Claude Chevalley and Albert Lautman. Notice biographique sur Jacques Herbrand. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 13–15. (Reprinted from Annuaire de l'Association Amicale de Secours des Anciens Élèves de l'École Normale Supérieure (1931), pp. 66–68.) - Claude Chevalley. Sur la pensée de Jacques Herbrand. A reprint of 5431 with omissions. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 17–20. - Jacques Herbrand. Sur la théorie de la démonstration. A reprint of 3821. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 21–23. - Jacques Herbrand. Non-contradiction des axiomes arithmétiques. A reprint of 3822. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 25–26. - Jacques Herbrand. Sur quelques propriétés des propositions vraies et leurs applications. A reprint of 3823. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 27–29. - Jacques Herbrand. Sur le problème fondamental des mathématiques. A reprint of 3824. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 31–33. - Jacques Herbrand. Recherches sur la théorie de la démonstration. A reprint of 3825. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 35–153. - Jacques Herbrand. Les bases de la logique hilbertienne. A reprint of 3826. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 155–166. - Jacques Herbrand. Sur le problème fondamental de la logique mathématique. A reprint of 3827. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 167–207. - Jacques Herbrand. Note non signée sur la thèse de Herbrand, écrite par Herbrand lui-même. A reprint, with new title, of 3827.1. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 209–214. - Jacques Herbrand. Notice pour Jacques Hadamard. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 215–219. - Jacques Herbrand. Sur la non-contradiction de l'arithmétique. A reprint of 3828. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 221–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
-
- Article
- Export citation
Wolfram Schwabhäuser. Über die Nichtdefinierbarkeit einiger Begriffe der hyperbolischen Geometrie mit elementaren Mitteln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 43–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Leslie H. Tharp. On a set theory of Bernays. The journal of symbolic logic, vol. 32 (1967), pp. 319–321.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
-
- Article
- Export citation
Wolfram Schwabhäuser. On completeness and decidability of some non-definable notions of elementary hyperbolic geometry. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 159–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Azriel Lévy. On models of set theory with urelements. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 463–465.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
-
- Article
- Export citation
G. É. Minc. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 783–786. - G. É. Minc. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by R. N. Goss. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1712–1715.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-525
-
- Article
- Export citation
C. G. McKay. On 'finite logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 (1967), pp. 363–365; also Indagationes mathematicae, vol. 29 (1967), pp. 363–365.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
C. G. McKay. The decidability of certain intermediate propositional logics. The journal of symbolic logic, vol. 33 (1968), pp. 258–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
-
- Article
- Export citation
Wolfram Schwabhäuser. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 312–328.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
-
- Article
- Export citation
G. É. Minc. Poditor térmoν ν kvantornyh pravilah konstruktiνnogo isčisléniá predikátov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 112–122. - G. E. Mints. Choice of terms in quantifier rules of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969, pp. 43–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 525
-
- Article
- Export citation
Jon Barwise. Infinitary logic and admissible sets. The journal of symbolic logic, vol. 34 (1969), pp. 226–252.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
-
- Article
- Export citation