Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung / Carl Friedrich Gethmann

Bibliografski detalji
Izdano u:[BuA, 8].(2000) S. 45 - 70
Glavni autor: Gethmann, Carl Friedrich (Autor)
Format: Članak
Jezik:German
Povezana djela:In: [BuA, 8].(2000)