A. Heyting

Logic & Foundations of Mathema

Logic & Foundations of Mathematics

1968

Intuitionism

1956

Les fondements des mathématiq

Les fondements des mathématiques

1955

Mathematische Grundlagenforsch

Mathematische Grundlagenforschung

1934