Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie Repr. (d. Ausg. Berlin 1934) - Heyting, Arend (Ergebnisse der Mathematik und ihre Grenzgebiete, 1974)