Works by Gödel, K. (exact spelling)

4 found
Order:
  1. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
     
    Export citation  
     
    Bookmark   248 citations  
  2. Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
    No categories
     
    Export citation  
     
    Bookmark   59 citations  
  3. An interpretation of the intuitionistic sentential calculus.K. Gödel - 1969 - In Jaakko Hintikka (ed.), The Philosophy of Mathematics. London: Oxford University Press.
  4. Le théorème de Gödei.E. Nagel, J. R. Newman, K. Gödel, J. Y. Girard & J. Scherrer - 1990 - Revue Philosophique de la France Et de l'Etranger 180 (4):706-708.
     
    Export citation  
     
    Bookmark   2 citations