A. Heyting

No bio available. Add one in Open Library.

Books by A. Heyting (50 max)

+ shelf+ list

Abstract Set Theory

1953

Abraham Fraenkel, L. E. J. Brouwer, E. W. Beth, A. Heyting

+ shelf+ list

Intuitionism

1956

A. Heyting

+ shelf+ list

Mathematische Grundlagenforschung Intuitionismus Beweistheorie

1974

A. Heyting

+ shelf+ list

Set Theory An Introduction to Large Cardinals

1974

Frank R. Drake, A. Heyting, H.J. Keisler, A. Mostowski

+ shelf+ list

Axiomatic Projective Geometry (Bibliotheca Mathematica, v. 5)

1963

A. Heyting

+ shelf+ list

Elements of Mathematical Logic Model Theory

1971

G. Kreisel, J. L. Krivine, A. Heyting, A. Robinson, P. Suppes

+ shelf+ list

Axiomatic Projective Geometry

2014

A. Heyting, N. G. De Bruijn, J. De Groot, A. C. Zaanen

+ shelf+ list

Philosophy and Foundations of Mathematics: L. E. J. Brouwer

2014

A. Heyting