医学细胞生物学 廖亚平,刘长青 编 中国科学技术大学出版社【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
¥15.00定价:¥79.37 (1.89折)
数理逻辑-第2版 汪芳庭 著 中国科学技术大学出版社【正版保证】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
《普通高等学校十一五规划教材?数理逻辑(第2版)》作为数理逻辑基础教材,所涉及的形式系统均采用可数语言,含不可数语言的更一般理论,通常归属数理逻辑更专门的领域——模型论。 这次修改,全面仔细,但全书的框架与主要内容均无太大变动,前两章(命题、谓词演算)突出了基本内容,比原来的更有层次,读者若以Godel不完备性定理为主要目标,则可专注这两个演算的建立及各自的可靠性、完全性,略去其他课题(包括几处所附材料)后进入第3章。
¥17.00定价:¥55.37 (3.08折)