L'Axiomatique Intuitionniste

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

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Review: A. Heyting, L'Axiomatique Intuitionniste. [REVIEW]Paul Bernays - 1958 - Journal of Symbolic Logic 23 (3):343-344.
La conception intuitionniste de la logique.A. Heyting - 1956 - Les Etudes Philosophiques 11 (2):226 - 233.
A. Heyting.Remarques Sur la Théorie Intuitionniste - 1968 - In Jean-Louis Destouches, Evert Willem Beth & Institut Henri Poincaré (eds.), Logic and foundations of science. Dordrecht,: D. Reidel.
FS3 a# 0&b# 0-* ab# 0. FS4 a# 0-» a~ 1 existe et a~ l# 0.Remarques Sur la Théorie Intuitionniste - 1968 - In Jean-Louis Destouches, Evert Willem Beth & Institut Henri Poincaré (eds.), Logic and foundations of science. Dordrecht,: D. Reidel.
Une Propriete du Calcul Propositionnel Intuitionniste.J. Porte - 1959 - Journal of Symbolic Logic 24 (1):68-69.
Élimination des termes epsilon dans la logique intuitionniste.V. A. Smirnov - 1971 - Revue Internationale de Philosophie 25 (4=98):512.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,269,502)

6 months
2 (#668,348)

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