Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung / Carl Friedrich Gethmann
| 出版年: | [BuA, 8].(2000) S. 45 - 70 |
|---|---|
| 第一著者: | |
| フォーマット: | 論文 |
| 言語: | German |
| 関連資料: | In:
[BuA, 8].(2000) |
| 記述は利用できません。 |
| 出版年: | [BuA, 8].(2000) S. 45 - 70 |
|---|---|
| 第一著者: | |
| フォーマット: | 論文 |
| 言語: | German |
| 関連資料: | In:
[BuA, 8].(2000) |
| 記述は利用できません。 |