A. Heyting, Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Ergebnisse der Mathematik und ihrer Grenzgebiete. Hrsg. v. d. Schriftleitung des „Zentralblatt für Mathematik”, III. Bd., 4. Heft.) Berlin 1934, Julius Springer Verlag. XII + 73 S