图书介绍
The Mathematics Of MetamathematicsPDF|Epub|txt|kindle电子书版本网盘下载
- 著
- 出版社： Panstwowe Wydawnictwo Naukowe
- ISBN：
- 出版时间：1963
- 标注页数：519页
- 文件大小：126MB
- 文件页数：521页
- 主题词：
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
The Mathematics Of MetamathematicsPDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
PART ONE LATTICES11
CHAPTER Ⅰ PRELIMINARY TOPOLOGICAL，ALGEBRAIC AND LATTICE-THEORETICAL NOTIONS11
CHAPTER Ⅱ BOOLEAN ALGEBRAS68
CHAPTER Ⅲ TOPOLOGICAL BOOLEAN ALGEBRAS93
CHAPTER Ⅳ PSEUDO-BOOLEAN ALGEBRAS123
PART TWO CLASSICAL LOGIC144
CHAPTER Ⅴ FORMALIZED MATHEMATICAL THEORIES144
CHAPTER Ⅵ THE ALGEBRA OF FORMALIZED LANGUAGES209
CHAPTER Ⅶ CLASSICAL PROPOSITIONAL CALCULI256
CHAPTER Ⅷ CLASSICAL ELEMENTARY FORMALIZED THEORIES279
PART THREE NON-CLASSICAL LOGICS376
CHAPTER Ⅸ INTUITIONISTIC PROPOSITIONAL CALCULI376
CHAPTER Ⅹ INTUITIONISTIC ELEMENTARY FORMALIZED THEORIES411
CHAPTER Ⅺ THE POSITIVE LOGIC AND THE MODAL LOGIC460
BIBLIOGRAPHY489
AUTHOR INDEX505