Heyting Arend. Formal logic and mathematics. Synthese , vol. 6 , pp. 275–282

Journal of Symbolic Logic 14 (3):195-195 (1949)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267081

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

Formal logic and mathematics.Arend Heyting - 1947 - Synthese 6 (7-8):275 - 282.
Review: Arend Heyting, Formal Logic and Mathematics. [REVIEW]E. W. Beth - 1949 - Journal of Symbolic Logic 14 (3):195-195.
Intuitionistic views on the nature of mathematics.Arend Heyting - 1974 - Synthese 27 (1-2):79 - 91.
In memoriam: Evert Willem Beth (1909--1964).Arend Heyting - 1966 - Notre Dame Journal of Formal Logic 7 (4):289-295.
Like a bee on a windowpane: Heyting's reflections on solipsism.Miriam Franchella - 1995 - Synthese 105 (2):207 - 251.
Symposium on the foundations of mathematics.Rudolf Carnap, Arend Heyting & Johann von Neumann - 1964 - In P. Benacerraf H. Putnam (ed.), Philosophy of Mathematics. Prentice-Hall.
Heyting’s contribution to the change in research into the foundations of mathematics.Miriam Franchella - 1994 - History and Philosophy of Logic 15 (2):149-172.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Heyting A.. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 69–71. [REVIEW]O. Chateaubriand - 1971 - Journal of Symbolic Logic 36 (4):673-674.
Heyting A.. G. F. C. Griss and his negationless intuitionistic mathematics. Synthese, vol. 9, issue 2 no. 2 , pp. 91–96. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
Logic and foundations of mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra (eds.) - 1969 - Groningen,: Wolters-Noordhoff.
Review: Arend Heyting, Les Fondements des Mathematiques du Point de vue Intuitionniste. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
Beth E. W.. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 15–25. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Porte Jean. Quelques pseudo-paradoxes de la “calculabilité effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 332–334.Kalmár László. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 72–80.Peter Rózsa. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 226–233.Mendelson Elliott. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.

Analytics

Added to PP
2016-06-30

Downloads
14 (#965,243)

6 months
7 (#411,886)

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