Heyting A.. La conception intuitionniste de la logique. Les études philosophiques, n.s. vol. 11 , pp. 226–233

Journal of Symbolic Logic 23 (3):344-345 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964297

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Blanché Robert. Vues nouvelles sur l'ancienne logique. Les études philosophiques, n.s. vol. 11 , pp. 183–208.J. A. Faris - 1960 - Journal of Symbolic Logic 25 (1):63-63.
Review: A. Heyting, La Conception Intuitionniste de la Logique. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 23 (3):344-345.
La conception intuitionniste de la logique.A. Heyting - 1956 - Les Etudes Philosophiques 11 (2):226 - 233.
Martin Roger. Raisonnement mathématique et récurrence. Les études philosophiques, n.s. vol. 11 , pp. 242–262.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):358-359.
Feys Robert. Une théorie formalisée démontrée sans symboles. Les études philosophiques, n.s. vol. 11 , pp. 3–14.Alonzo Church - 1958 - Journal of Symbolic Logic 23 (3):344-344.
Perelman Ch.. Les paradoxes de la logique. Mind, n.s. vol. 45 , pp. 204–208.C. H. Langford - 1936 - Journal of Symbolic Logic 1 (2):65-66.
La Conception Intuitionniste de la Logique.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):344-345.
Klixbüll Jørgensen Chr.. A classification of categorical propositions. Logique et analyse, n.s. vol. 7 , pp. 233–256.Ivo Thomas - 1968 - Journal of Symbolic Logic 32 (4):545-545.
Bayart A.. Correction de la logique modale du premier et du second ordre S5, Logique et analyse, n.s. vol. 1 , pp. 28–45. . p. 54.)Bayart A.. Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5. Logique et analyse, n.s. vol. 2 , pp. 99–121. [REVIEW]Kazuo Matsumoto - 1965 - Journal of Symbolic Logic 30 (3):373-374.
Dopp Joseph. Essai d'une présentation de la logique combinatoire. Logique et analyse , n.s. vol. 3 , pp. 183–201.J. Barkley Rosser - 1962 - Journal of Symbolic Logic 27 (1):77-77.

Analytics

Added to PP
2016-06-30

Downloads
11 (#351,772)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references