返回首页 联系帮助
数理逻辑
下载此书RAR压缩包在线购买PDF电子书
A.G.汉密尔顿著1986 年出版253 页ISBN：
数理逻辑基础 （上册）
胡世华 陆钟万1981 年出版228 页ISBN：
数理逻辑、集合
邱伟德 胡美琛编著1987 年出版210 页ISBN：
数理逻辑与机器证明
2222 年出版0 页ISBN：
数理逻辑基础 下
胡世华，陆钟万1981 年出版434 页ISBN：
国立编译馆主编；蒯英著；刘福增译1987 年出版426 页ISBN：
沈百英编著1991 年出版397 页ISBN：7118004022
数理逻辑引论
朱梧槚，肖奚安1994 年出版306 页ISBN：
数理逻辑概论
朱煜华，吴可编著1992 年出版308 页ISBN：7503506083
本书包括∶命题逻辑、谓词逻辑、数理逻辑简史等3部分。
孙希文编著1991 年出版237 页ISBN：7560303528
