Journal of automated reasoning. 1988;4(2):219-231. doi: 10.1007/bf00244396 Q40.72025

Automated proofs of Löb's theorem and Gödel's two incompletensess theorems

洛巴特定理与哥德尔两个不完备性定理的自动化证明

DOI: 10.1007/bf00244396

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！