Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung / Carl Friedrich Gethmann
| 發表在: | [BuA, 8].(2000) S. 45 - 70 |
|---|---|
| 主要作者: | |
| 格式: | Aufsatz in Zeitschrift |
| 語言: | German |
| 相關項目: | In:
[BuA, 8].(2000) |
| 無描述. |