排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
Studia Logica - We present an abstract framework in which we give simple proofs for Gödel’s First and Second Incompleteness Theorems and obtain, as consequences, Davis’,... 相似文献
1