Reviews
G. Asser. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig1959, VI + 184 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
-
- Article
- Export citation
Patrick Suppes. Axiomatic set theory. D. Van Nostrana Company, Princeton, N.J., 1960, xii + 265 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
-
- Article
- Export citation
Robert R. Stoll. Sets, logic, and axiomatic theories. W. H. Freeman and Company, San Francisco and London1961, x + 206 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
-
- Article
- Export citation
Ettore Casari. Computabilità e ricorsività. Problemi di logica matematica. Quaderno n. 3 della Scuola di Studi Superiori sugli Idrocarburi dell' E.N.I. Milano1959, 107 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 279
-
- Article
- Export citation
S. C. Kleene. Extension of an effectively generated class of functions by enumeration. Colloquium mathematicum, vol. 6 (1958), pp. 68–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-280
-
- Article
- Export citation
Stephen Cole Kleene. Vvédénié v métamatématiku. Russian translation of XIX 215 by A. S. Ésénin-Vol′pin, edited by V. A. Uspénskij. Izdatél′stvo Inostrannoj Litératury, Moscow1957, 526 pp. (and added sheet of corrections). - A. S. Ésénin-Vol′pin. Ot péravodčika (From the translator). Therein, pp. 5–6. - A. S. Ésénin-Vol′pin. Dobavlénié I. Dokazatél′stvo vtoroj téorémy Gëdéla. (Appendix I. Proof of the second theorem of Gödel.) Therein, pp. 459–474. - A. S. Ésénin-Vol′pin. Dobavlénié II. Vospolnénié probêla υ §§49 i 74. (Appendix II. Filling of a gap in §§49 and 74.) Therein, pp. 474–478. - A. S. Ésénin-Vol′pin. Dobavlénié III. O formalizuémosti péréhoda ot (iv) k (v) v dokazatél'stvé téorémy 36. (Appendix III. On the formalizability of the transition from (iv) to (v) in the proof of theorem 36.) Therein, p. 479. - A. S. Ésénin-Vol′pin. Dobavlénié IV. Postroénié formuly B priméra 2 §79. (Appendix IV. Construction of formula B of example 2 §79.) Therein, pp. 479–481. - A. S. Ésénin-Vol′pin. Dobavlénié V. Ob ustranimosti ravénstva i néoprédélénnyh opisanij. (Appendix V. On the eliminability of equality and of indefinite descriptions.) Therein, pp. 481–484. - A. S. Ésénin-Vol′pin. Dobavlénié VI. O formalizacii indukcii do porádkovyhčisél mén′sih ε0 v sistémé gl. IV (po Gil′bértu-Bérnajsu [1939, str. 361–366]). (Appendix VI. On the formalization of induction up to ordinal numbers less than ε0 in the system of Chap. IV (according to Hilbert-Bernays [1939, pp. 361–366]).) Therein, pp. 484–485. - A. S. Ésénin-Vol′pin. Dobavlénié VII. Dokazatél′stvo néprotivoréčivosti klassičéskoj arifmétiki s pomošč′ú indukcii do ε0 (po Sútté). Rezultat P. S. Novikova. (Appendix VII. Proof of the consistency of classical arithmetic with the aid of induction up to ε0 (according to Schütte). A result of P. S. Novikov.) Therein, pp. 485–492.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-282
-
- Article
- Export citation
H. Weyl. Das Kontinuum. Das Kontinuum und andere Monographien, Chelsea Publishing Company, New York1960. 83 Seiten, darin.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-284
-
- Article
- Export citation
Albert Châtelet. Allocution prononcée par M. A. Châtelet. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 11–12. - Th. Skolem. Une relativisation des notions mathématiques fondamentales. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 13–17. - A. Tarski, M. Krasner, A. Mostowski, R. de Possel. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 17–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
-
- Article
- Export citation
Paul Bernays. Remarques sur le problème de la décision en logique élémentaire. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 39–43. - J. Porte. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 44.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 285
-
- Article
- Export citation
Roland Fraïssé. Sur une extension de la polyrelation et des parentés tirant son origine du calcul logique du kème échelon. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 45–50. - A. Tarski. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 50. - René de Possel and Roland Fraïssé. Hypothèses de la théorie des relations qui permettent d'associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 51–55. - A. Tarski, A. Mostowski. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
-
- Article
- Export citation
H. Arnold Schmidt. Un procédé maniable de décision pour la logique propositionnelle intuitionniste. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 57–64. - A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 65–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
-
- Article
- Export citation
Daniel Lacombe. Sur les possibilités d'extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 67–74. - G. Bouligand. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 75.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-287
-
- Article
- Export citation
E. W. Beth. Construction sémantique de la logique intuitioniste. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 77–83. - A. Heyting. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 84. - A. Heyting. La théorie élémentaire de l'intégration en mathématiques intuitionnistes. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 85–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation
Roger Martin. Sur les notions intuitives mises en oeuvre par la constitution et l'étude d'un système formel. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 91–94. - R. Feys, J. Porte. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 95–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation
F. Gonseth. Sur la méthodologie des recherches sur les fondements des mathématiques. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 97–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
-
- Article
- Export citation
Robert Feys. Expression de la vérifiabilité expérimentale dans le raisonnement formalisé. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 109–114. - J.-L. Destouches, J. Porte, E. W. Beth, A. Tarski, P. Bernays. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 114–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
J. Porte. Recherches sur les logiques modales. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 117–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Jean-Louis Destouches and Paulette Février. Remarques sur certains aspects formels des théories physiques. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 127–131. - M. Fréchet, J.-L. Destouches, G. Bouligand, E. W. Beth, P. Février. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 132–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
R. Feys. Allocution prononcée par M. R. Feys. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 135–136. - J.-L. Destouches. Allocution prononcée par M. J.-L. Destouches. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 137. - Håkan Törnebohm. Logical Studies. Library of Theoria, No. I. CWK Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1955, 83 pp. - Håkan Törnebohm. Discourse analysis. Theoria (Lund), vol. 21 (1955), pp. 42–54. See also Erratum, ibid., p. 181. - Håkan Törnebohm. Content of information. Theoria (Lund), vol. 21 (1955), pp. 146–157.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
-
- Article
- Export citation
Hilary Putnam. Three-valued logic. Philosophical studies (Minneapolis), vol. 8 (1957), pp. 73–80. - Paul Feyerabend. Reichenbach's interprétation of quantum-mechanics. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 49–59. - Isaac Levi. Putnam's three truth values. Philosophical studies (Minneapolis), vol. 10 (1959), pp. 65–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-291
-
- Article
- Export citation