Heindorf, L. (1994). Elementare Beweistheorie. BI-Wiss.-Verl.
Chicago-Zitierstil (17. Ausg.)Heindorf, Lutz. Elementare Beweistheorie. Mannheim u.a: BI-Wiss.-Verl, 1994.
MLA-Zitierstil (9. Ausg.)Heindorf, Lutz. Elementare Beweistheorie. BI-Wiss.-Verl, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.