Heyting A.. Intuïtionistische wiskunde . Mathematica B, vol. 7 , pp. 129–142

Journal of Symbolic Logic 5 (2):73-74 (1940)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266180

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Heyting A.. De onlwikkeling van de intuitionistische wiskunde . Euclides, vol. 13 , pp. 129–144.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (2):89-89.
Brouwer L. E. J.. Richilijnen der intuitionistische wiskunde . Proceedings of the section of sciences, vol. 60 , p. 307. [REVIEW]Evert W. Beth - 1947 - Journal of Symbolic Logic 12 (4):136-136.
Griss G. F. C.. Negatieloze intuitionistische wiskunde . Nederlandsche Akademie van Wetenschappen, Verslagen van de gewone vergaderingen der Afdeeling Natuurkunde, vol. 53 no. 5 , pp. 3–10. [REVIEW]Evert W. Beth - 1946 - Journal of Symbolic Logic 11 (1):24-24.
Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.
Heyting A.. Taal en teken in de wiskunde . Algemeen Nederlands tijdschrift voor wijsbegeerte en psychologie, vol. 40 , pp. 121–131. Résumé , ibid., p. 131. [REVIEW]E. W. Beth - 1949 - Journal of Symbolic Logic 14 (3):195-195.
Review: G. F. C. Griss, Negationless Intuitionistic Mathematics; J. Ridder, Ueber den Aussagen-und den Engeren Pradikatenkalkul; L. E. J. Brouwer, Richtlijnen der Intuitionistische Wiskunde. [REVIEW]Alonzo Church - 1948 - Journal of Symbolic Logic 13 (3):174-174.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
G. E. Mints. E theorems. Journal of Soviet mathematics, vol. 8 , pp. 323–329. - G. É. Minc. Ustojčivost' E-téorém i provérka programm . Sémiotika i informatika, vol. 12 , pp. 73–77. - Justus Diller. Functional interpretations of Heyting's arithmetic in all finite types. Nieuw archief voor wiskunde, ser. 3 vol. 27 , pp. 70–97. - Martin Stein. Interpretations of Heyting's arithmetic—an analysis by means of a language with set symbols. Annals of mathematical logic, vol. 19 , pp. 1–31. - Martin Stein. A general theorem on existence theorems. Zeitschrifi für mathematische Logik und Grundlagen der Mathematik, vol. 27 , pp. 435–452. [REVIEW]Andre Scedrov - 1987 - Journal of Symbolic Logic 52 (2):561-561.
Hans Freudenthal. Zur intuitionistischen Deutung logischer Formeln. Compositio mathematica, vol. 4 no. 1 , pp. 112–116. - A. Heyting. Bemerkungen zu dem Aufsatz von Herrn Freudenthai “Zur intuitionistischen Deutung logischer Formeln.” Compositio mathematica, vol. 4 no. 1 , pp. 117–118. - Nachwort von Hans Freudenthal. Compositio mathematica, vol. 4 no. 1 , p. 118. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (1):48-48.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
De Wijsbegeerte der Wiskunde van Parmenides Tot Bolzano.Evert W. Beth - 1946 - Journal of Symbolic Logic 11 (3):89-90.
Review: Evert W. Beth, De Wijsbegeerte der Wiskunde van Parmenides Tot Bolzano. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):89-90.
Wiskunde en filosofie.Nico Krijn & Manuel Nepveu - 2009 - Utrecht: TNO.
Linear Heyting algebras with a quantifier.Laura Rueda - 2001 - Annals of Pure and Applied Logic 108 (1-3):327-343.
Review: E. W. Beth, Construction Semantique de la Logique Intuitioniste; A. Heyting, Intervention; A. Heyting, La Theorie Elementaire de l'Integration en Mathematiques Intuitionnistes. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):287-287.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,165,120)

6 months
1 (#1,510,037)

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