数理逻辑
删除本页内容作者:汪芳庭编著
ISBN:1978-7-312-02708-62
关键词:数理逻辑-研究生-教材
页数:205
出版社: 合肥：中国科学技术大学出版社
出版日期:2010.09
发现数理逻辑在2025年8月26日可全文阅读或下载。
图书简介
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书对Godel第一部完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理都提供了完整的证明。本书可用作计算机专业研究生或高年级本科生教材。
点显示百万电子书阅读链接，确定后即可显示链接。
出版社通过教客网下载电子书并起诉站长多次，本站随时可能倒闭。
诉讼案号：（2022）川01民初4401，（2022）川01民初4403，（2022）川01民初4403，（2022）川0191民初19351号，（2022）川0191民初19594号，（2022）川0191民初20457号，（2022）川0191民初20459号，（2023）川知民终373号，（2023）川知民终374号，（2023）川知民终375号，
（2024）川0191民初15977号，（2024）川0191民初15979号，（2024）川0191民初15980号，（2024）川0191民初15981号，（2024）川0191民初15982号
1.如果要找《数理逻辑》，可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片引用地址: https://cover.duxiu.com/coverNew/CoverNew.dll?iid=6364616869666164626858a0a191a993a697a49f93a49d3535303038323332