大约有4,000项符合查询结果项。(搜索耗时:0.0287秒)
为您推荐:
java程序设计基础教程 慕课版 第2版
java语言程序设计教程 第2版
高数慕课版
21世纪实用英语 第2版 综合教程
简笔画教程第2版
新视野大学英语第四版读写教程2
-
(苏)金克维(Л.А.Зенкевич),(苏)纳乌莫夫(С.П.Наумов)著;何鸿恩译1958 年出版415 页ISBN:13010·527
-
M.M.费洛宁轲-鲍罗第契主编1958 年出版521 页ISBN:15010·707
-
中共湖北省委宣传部宣传处编1958 年出版30 页ISBN:T4106·82
-
-
(苏)卡尔林(В.Д.Карлин),(苏)别洛策尔可夫斯基(С.М.Белоцерковский)著;汪学信译1958 年出版194 页ISBN:15010·571
-
(苏)切尔陀乌索夫(М.Д.Чертоусов)著;沈清濂译1958 年出版559 页ISBN:15010·703
-
王占元编1958 年出版122 页ISBN:15010·658
-
(苏)马努依洛夫(Л.А.Мануйлов)等著;南京工学院化工系硅酸盐工学教研组译1958 年出版357 页ISBN:
-
戴安邦等1958 年出版898 页ISBN:K13010·515
-
(德)希尔柏脱(D.Hilbert),(德)阿克曼(W.Ackermann)著;莫绍揆译1958 年出版200 页ISBN:13031·750
本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体系,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......