9 found
Order:
  1.  99
    Intuitionism an Introduction.Arend Heyting - 1956 - Amsterdam, Netherlands: North-Holland.
  2.  62
    Die Intuitionistische Grundlegung der Mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.
  3.  92
    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. Note sur le constructivisme.Arend Heyting - 1960 - Logique Et Analyse 3 (11):177.
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. 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
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  49
    Formal Logic and Mathematics.Arend Heyting - 1947 - Synthese 6 (7-8):275 - 282.
  9.  21
    In Memoriam: Evert Willem Beth (1909--1964).Arend Heyting - 1966 - Notre Dame Journal of Formal Logic 7 (4):289-295.