Heyting A Mathematische grundlagenforschung intuitionismus beweistheorie - Berlin Springer-Verlag 1934 - iv, 73p. cm. - Ergebnisse der mathematik und ihrer grenzgebiete; 4 . Originally published in 1934 Standard No.: 21352 Source: Textual Dewey Class. No.: B13, 113L4