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

书目详细资料
发表在:[BuA, 8].(2000) S. 45 - 70
主要作者: Gethmann, Carl Friedrich (VerfasserIn)
格式: 文件
语言:German
相关项目:In: [BuA, 8].(2000)