Heyting, A. (1974). Mathematische Grundlagenforschung: Intuitionismus, Beweistheorie (Repr. d. Ausg. Berlin 1934.). Springer.
Chicago-Zitierstil (17. Ausg.)Heyting, Arend. Mathematische Grundlagenforschung: Intuitionismus, Beweistheorie. Repr. d. Ausg. Berlin 1934. Berlin: Springer, 1974.
MLA-Zitierstil (9. Ausg.)Heyting, Arend. Mathematische Grundlagenforschung: Intuitionismus, Beweistheorie. Repr. d. Ausg. Berlin 1934. Springer, 1974.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.