A. HeytingBooksElements of Mathematical LogicPhilosophy and Foundations of MathematicsMathematische Grundlagenforschung Intuitionismus BeweistheorieAbstract Set TheoryIntuitionismAxiomatic Projective GeometryAxiomatic Projective Geometry (Bibliotheca Mathematica, v. 5)Set TheoryAuthor data: Open Library