书籍 数理逻辑漫谈的封面

数理逻辑漫谈PDF电子书下载

莫绍揆编著

购买点数

7

出版社

济南:山东科学技术出版社

出版时间

1980

ISBN

13195·35

标注页数

80 页

PDF页数

86 页

图书目录

一 数理逻辑简史 1

二 数理逻辑的性质 14

三 数理逻辑的主要内容 19

四 一些基本概念的讨论 35

关于符号的使用 35

关于函数的概念 42

关于约束词(算子) 56

关于推导过程 68

五 研究数理逻辑的一些有关问题 77

查看更多关于的内容

在线购买PDF电子书
下载此书RAR压缩包