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) |
无描述. |