A. Heyting

Books by A. Heyting

Total count: 10

• Sentences Undecidable in Formalized ArithmeticAn Exposition of the Theory of Kurt Gödel

  Elsevier Science & Technology Books1952-01-01
• Abstract Set Theory

  Elsevier Science & Technology Books1953-01-01
• Complete Theories

  Elsevier Science & Technology Books1956-01-01
• Axiomatic Projective Geometry (Bibliotheca Mathematica, v. 5)

  John Wiley1963-01-01
• IntuitionismAn Introduction; Second Revised Edition

  North-Holland Publishing Company1966-01-01
• Elements of Mathematical LogicModel Theory

  Elsevier Science & Technology Books1971-01-01
• Set TheoryAn Introduction to Large Cardinals

  Elsevier Science & Technology Books1974-01-01
• 
  Mathematische Grundlagenforschung Intuitionismus Beweistheorie

  Springer1974-01-01
• Philosophy and Foundations of MathematicsL. E. J. Brouwer

  Elsevier Science & Technology Books2014-01-01
• Axiomatic Projective Geometry

  Elsevier Science & Technology Books2014-01-01