图书介绍

数理逻辑论文选 第1辑PDF|Epub|txt|kindle电子书版本网盘下载

数理逻辑论文选 第1辑
  • 外文书店编辑 著
  • 出版社： 外文书店
  • ISBN：
  • 出版时间：1958
  • 标注页数：582页
  • 文件大小：112MB
  • 文件页数：587页
  • 主题词：

PDF下载


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

下载说明

数理逻辑论文选 第1辑PDF格式电子书版下载

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

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

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

图书目录

1．A Set of Postulates for the Foundation of Logic&A.Church2

2．A Set of Postulates for the Foundation of Logic'(Second Paper)&A.Church23

3．An Unsolvable Problem of Elementary Number Theory&A.Church49

4．A Note on the Entscheidungsproblem&A.Church68

5．Correction to a Note on the Entscheidungsproblem&A.Church70

6．The Constructive Second Number Class&A.Church72

7．Formal Definitions in the Theory of Ordinal Numbers&A.Church&S.C.Kleene81

8．Some Theorems on Definability&Decidability&A.Church&W.V.Quine92

9．Grundlagen der kombinatorischen Logik.Teil 1&H.B.Curry101

10．Grundlagen der kombinatorischen Logik.Teil 2&H.B.Curry129

11．Some Additions to the Theory of Combinators&H.B.Curry175

12．Arithmetical Problems&Recursively Enumerable Predicates&M.Davis183

13．Die Vollst？ndigkeit der Axiome de logischen Funktionenkalküls&K.G？del192

14．？ber formal unentscheidbare S？tze der Principia Mathematica und verwandter System 1.&K.G？del204

15．？ber die Lange yon Beweisen&K.G？del225

16．Some Classes of Recursive Funct'ons&A.Grzegorczyk232

17．Computable Functionals&A.Grzegorczyk275

18．On the Definition of Computable Functionals&A.Grzegorczyk310

19．Some Proofs of Undecidability of Arithmetic&A.Grzegorczyk318

20．A Theory of Positive Integers in Formal Logic.Part 1&S.C.Kleene330

21．A Theory of Positive Integers in Formal Logic.Part 2&S.C.Kleene351

22．General Recursive Functions of Natural Numbers&S.C.Kleene377

23．λ-Definability&Recursiveness&S.C.Kleene393

24．A Note on Recursive Functions&S.C.Kleene407

25．Recursive Predicates&Quantifiers&S.C.Kleene410

26．On the Forms of the Predicates in the Theory of Constructive Ordinals&S.C.Kleene443

27．On the Interpretation of Intuitionistic Number Theory&S.C.Kleene461

28．A Symmetric Form of G？del's Theorem&S.C.Kleene477

29．The Upper Semi-Lattice of Degrees of Recursive Unsolvability&S.C.Kleene480

30．On the Forms of the Predicates in the Theory of Constructive Ordinals&S.C.Kleene509

31．Arithmetical Predicates&Function Quantifiers&S.C.Kleene533

32．Hierarchies of Number-Theoretic Predicates&S.C.Kleene562

热门推荐