联系帮助
出版时间：
至
大约有600项符合查询结果项。（搜索耗时：0.0087秒）
为您推荐： 角色动画技术从入门到实践 maya角色动画技术从入门到实践 游戏社交设计 从理论到实践 从技术到管理 catia从入门到精通 从课本到奥数
本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算......
全部
其他书籍(1)
哲学宗教(1)
2011年(2)
