Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg

书目详细资料
发表在:[BuA, 8].(2000) S. 71 - 96
主要作者: Schwichtenberg, Helmut (VerfasserIn)
格式: 文件
语言:German
相关项目:In: [BuA, 8].(2000)
实物特征
无描述.

相似书籍