图书介绍

数理逻辑【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

国立编译馆主编；蒯英著；刘福增译著
出版社：幼狮文化事业公司
ISBN：
出版时间：1987
标注页数：426页
文件大小：12MB
文件页数：451页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：c96e84c86f2d2182022cac81c8ef4ec4

下载说明

数理逻辑PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第一章叙说1

1．连言、选言和否言1

2．如言5

3．重复组合10

4．用到与提到15

5．讲到叙说的叙说20

6．拟引号29

7．括号与点34

8．化归到三个始原连号39

9．化归到一个始原连词44

10．套套言49

11．套套形式选56

第二章量辨65

12．量词（号）65

13．叙式73

14．约束，自由，闭包78

15．量辨设基83

16．定理89

17．後视定理93

18．双如言的代换102

19．存在量辨109

20．量号的分配113

21．字母变改119

第三章词子127

22．类和分子127

23．逻辑叙式132

24．抽作137

25．等同145

26．再说抽作152

27．描述词和名称159

第四章扩大的类理论167

28．阶层化167

29．其他分子关系设基173

30．等同代换181

31．变元代换186

32．其他後结192

33．逻辑积，和，余类198

34．包含204

35．单类210

第五章关系219

36．对子和关系219

37．关系的抽作226

38．逆（关系），像，相对积234

39．祖宗（关系）242

40．函应250

41．函应的抽作255

42．当做关系的等同和分子关系260

第六章数267

43．零，一，後元267

44．自然数273

45．计数集合279

46．有限和无限284

47．关系的巾288

48．算术和，积，巾294

49．常见的算术等同298

50．比数303

51．实数308

52．其他推广314

第七章语法321

53．形式性321

54．语法的始原项目326

55．原基语法330

56．定义出的叙式和架式335

57．定义出的量辨设基339

58．定义出的定理343

59．自身应用的原基语法347

60．不完备性355

附录363

定理对後视定理363

定义一览表367

定理及後视定理一览表371

参考书目379

中英索引393

英中人名索引409

英中论题索引413

本书译者著作一览表427