返回首页 联系帮助
莫绍揆编著
购买点数
7 点
出版社
济南:山东科学技术出版社
出版时间
1980
ISBN
13195·35
标注页数
80 页
PDF页数
86 页
标签
数理逻辑 漫谈 编著 逻辑
查看更多关于=$ecms_gr[title]?>的内容
一 数理逻辑简史 1
二 数理逻辑的性质 14
三 数理逻辑的主要内容 19
四 一些基本概念的讨论 35
关于符号的使用 35
关于函数的概念 42
关于约束词(算子) 56
关于推导过程 68
五 研究数理逻辑的一些有关问题 77