10 found
Order:
  1. Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  2.  80
    Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.
  3. Intuitionistic views on the nature of mathematics.Arend Heyting - 1974 - Synthese 27 (1-2):79 - 91.
  4. 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.
  5. Remarques sur le constructivisme.Arend Heyting - 1960 - Logique Et Analyse 3:177-182.
     
    Export citation  
     
    Bookmark   3 citations  
  6.  7
    Les fondements des mathématiques.Arend Heyting - 1955 - Paris,: Gauthier-Villars.
  7.  30
    In memoriam: Evert Willem Beth (1909--1964).Arend Heyting - 1966 - Notre Dame Journal of Formal Logic 7 (4):289-295.
  8.  55
    Formal logic and mathematics.Arend Heyting - 1947 - Synthese 6 (7-8):275 - 282.
  9. La fundamentación intuicionista de la matemática.Arend Heyting - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):73--78.
    This is the Spanish translation, by María Gabriela Fulugonio, of Arend Heyting’s classical text “Die logizistische Grundlegung der Mathematik”, which was originally presented at the Königsberg’s Symposium on Philosophy of Mathematics in 1930, and finally published in Erkenntnis in 1931.
    No categories
     
    Export citation  
     
    Bookmark  
  10. Note sur le constructivisme.Arend Heyting - 1960 - Logique Et Analyse 3 (11):177.
     
    Export citation  
     
    Bookmark