van Dantzig D.. Mathématique stable et mathématique affirmative. Congrès International de Philosophie des Sciences, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 123–135 [Book Review]

Journal of Symbolic Logic 21 (3):323-324 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269134

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Meyer Herman. La négation et la logique. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 91–101. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (4):383-383.
Dubarle H. D.. La logique symbolique d'inspiration nominaliste et sa signification philosophique. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 55–67. [REVIEW]Erik Götlind - 1959 - Journal of Symbolic Logic 24 (3):269-269.
Beth E. W.. L'état actuel du problème logique des antinomies. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, S. 7–14. [REVIEW]Paul Lorenzen - 1957 - Journal of Symbolic Logic 22 (4):369-369.
A. Heyting. L'axiomatique intuitionniste. Congrès International de Philosophic des Sciences, Paris 1949, II Logique, Actuality scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 81–86. [REVIEW]Paul Bernays - 1958 - Journal of Symbolic Logic 23 (3):343-344.
Feys Robert. Nature et possibilités de la logique formalisée. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & C1e, Paris, 1951, pp. 69–80.Feys Robert. La formalisation comme suggestion rigoureuse. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques intemationaux du Centre National de la Recherche Scientifique no. 36, Paris, 1953, pp. 53–58. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):66-66.
Kaufmann Felix. Über den Begriff des Formalen in Logik und Mathematik. Travaux du IXe Congrès International de Philosophie, VI Logique et mathématiques, Actualités scientifiques et industrielles 535, Hermann et Cie, Paris 1937, pp. 128–135. [REVIEW]C. H. Langford - 1938 - Journal of Symbolic Logic 3 (1):56-56.
Gonseth F.. Philosophie mathématique. Actualités scientifiques et industrielles 837. Hermann et Cie, Paris 1939, 100 pp. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):77-78.
Gonseth F. and Müller G. H.. Philosophie mathématique. Philosophie , XIII Philosophie des sciences, publiée par l'Institut International de Philosophie, Actualités scientifiques et industrielles 1105, Hermann & Cie, Paris 1950, pp. 33–127. [REVIEW]Alfons Borgers - 1956 - Journal of Symbolic Logic 21 (3):309-310.
Sesmat Augustin. Logique. I. Les définitions, les jugements. Actualités scientifiques et industrielles 1086. Hermann & Cie, Paris 1950, 360 pp.Sesmat Augustin. Logique. II. Les raisonnements, la logistique. Actualités scientifiques et industrielles 1130. Hermann & Cie, Paris 1951, pp. 361–776. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (1):77-77.
Tarski Alfred. Grundlegung der wissenschaftlichen Semantik. Actes du Congrès International de Philosophie Scientifique, III Langage et pseudo-problèmes, Actualités scientifiques et industrielles 390, Hermann & Cie, Paris 1936, pp. 1–8.Greenwood Thomas. Sur la signification des symboles logiques. Actes du Congrès International de Philosophie Scientifique, III Langage et pseudo-problèmes, Actualités scientifiques et industrielles 390, Hermann & Cie, Paris 1936, pp. 29–34. [REVIEW]Susanne K. Langer - 1937 - Journal of Symbolic Logic 2 (2):83-83.

Analytics

Added to PP
2013-11-22

Downloads
52 (#420,736)

6 months
21 (#142,286)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references