《数理逻辑论文选 第1辑》

作者 外文书店编辑 编者
出版 外文书店
参考页数 582
出版时间 1958（求助前请核对）  目录预览
ISBN号 无 — 求助条款
PDF编号 8908858（仅供预览，未存储实际文件）
求助格式 扫描PDF（若分多册发行，每次仅能受理1册）
数理逻辑论文选 第1辑 1958 PDF电子版封面 外文书店编辑

1．A Set of Postulates for the Foundation of LogicA.Church2

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

3．An Unsolvable Problem of Elementary Number TheoryA.Church49

4．A Note on the EntscheidungsproblemA.Church68

5．Correction to a Note on the EntscheidungsproblemA.Church70

6．The Constructive Second Number ClassA.Church72

7．Formal Definitions in the Theory of Ordinal NumbersA.ChurchS.C.Kleene81

8．Some Theorems on DefinabilityDecidabilityA.ChurchW.V.Quine92

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

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

11．Some Additions to the Theory of CombinatorsH.B.Curry175

12．Arithmetical ProblemsRecursively Enumerable PredicatesM.Davis183

13．Die Vollst？ndigkeit der Axiome de logischen FunktionenkalkülsK.G？del192

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

15．？ber die Lange yon BeweisenK.G？del225

16．Some Classes of Recursive Funct'onsA.Grzegorczyk232

17．Computable FunctionalsA.Grzegorczyk275

18．On the Definition of Computable FunctionalsA.Grzegorczyk310

19．Some Proofs of Undecidability of ArithmeticA.Grzegorczyk318

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

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

22．General Recursive Functions of Natural NumbersS.C.Kleene377

23．λ-DefinabilityRecursivenessS.C.Kleene393

24．A Note on Recursive FunctionsS.C.Kleene407

25．Recursive PredicatesQuantifiersS.C.Kleene410

26．On the Forms of the Predicates in the Theory of Constructive OrdinalsS.C.Kleene443

27．On the Interpretation of Intuitionistic Number TheoryS.C.Kleene461

28．A Symmetric Form of G？del's TheoremS.C.Kleene477

29．The Upper Semi-Lattice of Degrees of Recursive UnsolvabilityS.C.Kleene480

30．On the Forms of the Predicates in the Theory of Constructive OrdinalsS.C.Kleene509

31．Arithmetical PredicatesFunction QuantifiersS.C.Kleene533

32．Hierarchies of Number-Theoretic PredicatesS.C.Kleene562

1958《数理逻辑论文选 第1辑》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由外文书店编辑 1958 外文书店 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。

高度相关资料

数理逻辑（1986 PDF版）
数理逻辑
1986 上海：华东师范大学出版社
数学逻辑引论（1982 PDF版）
数学逻辑引论
1982
数理选辑论文选 第一集（ PDF版）
数理选辑论文选 第一集
逻辑与数学逻辑论（民国16.12 PDF版）
逻辑与数学逻辑论
民国16.12 商务印书馆
数理逻辑（1986.11 PDF版）
数理逻辑
1986.11 华东师范大学出版社
数理逻辑引论（1994 PDF版）
数理逻辑引论
1994
逻辑学论文选集（ PDF版）
逻辑学论文选集
中原大学教育学院
数理逻辑（1992 PDF版）
数理逻辑
1992 广州：华南理工大学出版社
数理逻辑（1990 PDF版）
数理逻辑
1990 上海：华东化工学院出版社
数理辩证逻辑导论（1995 PDF版）
数理辩证逻辑导论
1995 北京：中国人民大学出版社
数理逻辑引论（1991 PDF版）
数理逻辑引论
1991 哈尔滨：哈尔滨工业大学出版社
数理逻辑概论（1992 PDF版）
数理逻辑概论
1992 北京：中共中央党校出版社
数理逻辑（1984 PDF版）
数理逻辑
1984 北京：高等教育出版社
数理逻辑（1990 PDF版）
数理逻辑
1990 杭州：浙江大学出版社
数理逻辑引论（1982 PDF版）
数理逻辑引论
1982 北京：清华大学出版社

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD