Contents
Reviews
W. V. Quine. Unification of universes in set theory. The journal of symbolic logic, vol. 21 (1956), pp. 267–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
-
- Article
- Export citation
F. Rodríguez-Gil. Los fundamentos de las matemáticas. Spanish with brief English Summary. Acta cientifica venezolana, vol. 7 (1956). pp. 171–175.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 359
-
- Article
- Export citation
V. J. McGill and W. T. Parry. The unity of opposites: A dialectical principle. Science and society, vol. 12 (1948), pp. 418–444.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
-
- Article
- Export citation
Hermann Weyl. Über die neue Grundlagenkrise der Mathematik. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart1956, pp. 211–247. - Hermann Weyl. Nachtrag Juni 1955. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart1956, pp. 247–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
-
- Article
- Export citation
A. Seidenberg. A new decision method for elementary algebra. Annals of mathematics, ser. 2 vol. 60 (1954), pp. 365–374.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
-
- Article
- Export citation
Nicholas Rescher. Axioms for the part relation. Philosophical studies (Minneapolis), vol. 6 (1955), pp. 8–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
-
- Article
- Export citation
E. W. Beth. Decision problems of logic and mathematics. Philosophic (Chronique des années d'après guerre 1946–1948), XIII Philosophic des sciences, publiée par l'Institut International de Philosophie, Actualités scientifiques et industrielles 1105, Hermann & Cie, Paris1950, pp. 3–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 359
-
- Article
- Export citation
Hao Wang. Between number theory and set theory. Mathematische Annalen, vol. 126 (1953), pp. 385–409.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
-
- Article
- Export citation
B. E. Meserve. Decision methods for elementary algebra. The American mathematical monthly, vol. 62 (1955), pp. 1–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
-
- Article
- Export citation
Hans Hermes. Zum Begriff der Axiomatisierbarkeit. Mathematische Nachrichten, vol. 4 (1951), pp. 343–347.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
-
- Article
- Export citation
A. A. Zykov. Probléma spéktra v rasširénnom isčislénii prédikatov. lzvéstiá Akadémii Nauk SSSR, sériá matématičéskaá, Bd. 17 (1953), S. 63–76. - A. A. Zykov. The spectrum problem in the extended predicate calculus. Englische Übersetzung des Vorhergehenden, von G. L. Kline. American Mathematical Society translations, 2. Reihe Bd. 3 (1956), S. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 360
-
- Article
- Export citation
G. F. C. Griss. La mathématique iniuitioniste sans négation. Nieuw archief voor wishunde, ser. 3 vol. 3 no. 3 (1955), pp. 134–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 214
-
- Article
- Export citation
H. Hermes. Sur le concept d'axiomatisabilité. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 23–25. - Paul Bernays, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 26.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
-
- Article
- Export citation
E. W. Beth. Remarks on natural deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, Vol. 58 (1955), pp. 322–325; also Indagationes mathematicae, vol. 17 (1955) pp. 322–325. - E. W. Beth. Semantic entailment and formal derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. letterkunde, n.s. vol. 18 no. 13 (1955), pp. 309–342. - K. Jaakko J. Hintikka. A new approach to sentential logic. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 2 (1953), 14 pp. - K. Jaakko J. Hintikka. Form and content in quantification theory. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki1955, pp. 7–55. - K. Jaakko J. Hintikka. Notes on quantification theory. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 12 (1955), 13 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-363
-
- Article
- Export citation
Jan Lukasiewicz. Sur la formalisation des théories mathématiques. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 11–19. - Paul Bernays, Abraham Robinson, Haskell B. Curry. Discussion. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 19–21.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 214
-
- Article
- Export citation
Rózsa Péter. Rekurzív definiciók, melyek változó számu korábbi függvényertéket használnak fel. Matematikai lapok (Budapest), vol. 5 (1954), pp. 7–9. An abstract of XX 176(1). - Rózsa Péter. Ujabb bizonyítás arra, hogy a Csillag-Kalmár-féle elemi függvények osztálya szükebb, mint a primitiv-rekurzív függvényeké. Matematikai lapok (Budapest), vol. 5 (1954), pp. 244–252. Hungarian version of XX 282(2). - Rózsa Péter. Kalmár László matematikai munkássága (Die mathematische Tätigkeit von László Kalmár). Ebd., Bd. 6 (1955), S. 138–150.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
-
- Article
- Export citation
Gregorio Klimovsky. Problemas relativos a la definición de “Verdad Lógica” en los sistemas semánticos y sintácticos. Segundo Symposium sobre Algunos Problemas Matemáticos que se están estudiando en Latino América, Villavicencio-Mendoza 21-25 Julio 1954, Centro de Cooperación Científica de la UNESCO para América Latina, Montevideo1954, pp. 299–318.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
-
- Article
- Export citation
János Surányi. A matematikai logika eldöntésproblémájáról (Über das Entscheidungsproblem der mathematischen Logik). Ebd., S. 180–197.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
-
- Article
- Export citation
Abraham A. Fraenkel. L'axiome du choix. Revue philosophique de Louvain, vol. 50 (1952), pp. 429–459.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 214-215
-
- Article
- Export citation
E. W. Beth. Semantic construction of intuitionistic logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s. vol. 19 no. 11 (1956), pp. 357–388.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-365
-
- Article
- Export citation