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

Gethmann, C. F. Wahrheit und Beweisbarkeit: Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung / Carl Friedrich Gethmann. [BuA, 8].(2000).

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

Gethmann, Carl Friedrich. "Wahrheit Und Beweisbarkeit: Heytings Formale Regeln Der Intuitionistischen Logik Und Ihre Philosophische Bedeutung / Carl Friedrich Gethmann." [BuA, 8].(2000) .

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

Gethmann, Carl Friedrich. "Wahrheit Und Beweisbarkeit: Heytings Formale Regeln Der Intuitionistischen Logik Und Ihre Philosophische Bedeutung / Carl Friedrich Gethmann." [BuA, 8].(2000), .