توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Schwichtenberg, H. Beweise und Programme: Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg. [BuA, 8].(2000).

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Schwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000) .

توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)

Schwichtenberg, Helmut. "Beweise Und Programme: Anmerkungen Zu Heytings Formalisierung Der Intuitionistischen Logik / Helmut Schwichtenberg." [BuA, 8].(2000), .