Gethmann, C. F. Wahrheit und Beweisbarkeit: Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung / Carl Friedrich Gethmann. [BuA, 8].(2000).
Chicago-referens (17:e uppl.)Gethmann, Carl Friedrich. "Wahrheit Und Beweisbarkeit: Heytings Formale Regeln Der Intuitionistischen Logik Und Ihre Philosophische Bedeutung / Carl Friedrich Gethmann." [BuA, 8].(2000) .
MLA-referens (8:e uppl.)Gethmann, Carl Friedrich. "Wahrheit Und Beweisbarkeit: Heytings Formale Regeln Der Intuitionistischen Logik Und Ihre Philosophische Bedeutung / Carl Friedrich Gethmann." [BuA, 8].(2000), .
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.