Author

A. Heyting

8 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

8 books
Abstract Set Theory

Abstract Set Theory

Year unknown Abraham Fraenkel, L. E. J. Brouwer, E. W. Beth, and A. Heyting
Axiomatic Projective Geometry

Axiomatic Projective Geometry

Year unknown A. Heyting, N. G. De Bruijn, J. De Groot, and A. C. Zaanen
Axiomatic Projective Geometry (Bi...

Axiomatic Projective Geometry (Bibliotheca Mathematica, v. 5)

Year unknown
Elements of Mathematical Logic

Elements of Mathematical Logic

Year unknown G. Kreisel, J. L. Krivine, A. Heyting, A. Robinson, and P. Suppes
Intuitionism

Intuitionism

Year unknown
Mathematische Grundlagenforschung Intuitionismus Beweistheorie

Mathematische Grundlagenforschung Intuitionismus Beweistheorie

Year unknown
Philosophy and Foundations of Mat...

Philosophy and Foundations of Mathematics

Year unknown
Set Theory

Set Theory

Year unknown Frank R. Drake, A. Heyting, H.J. Keisler, and A. Mostowski

Fetched from OpenLibrary. Some translations may appear as separate works.