1
数学丛书.-. 现代数学基础丛书 . 递归函数论

数学丛书.-. 现代数学基础丛书 . 递归函数论

莫绍揆编著
ენა:
chinese
ფაილი:
PDF, 9.21 MB
0 / 0
chinese
2
数理逻辑导论

数理逻辑导论

莫绍揆
წელი:
1965
ენა:
chinese
ფაილი:
PDF, 14.28 MB
0 / 0
chinese, 1965
3
递归论

递归论

莫绍揆
წელი:
1987
ენა:
chinese
ფაილი:
PDF, 9.57 MB
5.0 / 4.0
chinese, 1987
4
数理逻辑初步

数理逻辑初步

莫绍揆
წელი:
1980
ენა:
chinese
ფაილი:
PDF, 6.85 MB
0 / 0
chinese, 1980
5
数学家谈怎样学数学

数学家谈怎样学数学

颜秉海(选编), 华罗庚, 苏步青, 王元, 陈景润, 杨乐, 张广厚, 赵访熊, 越民义, 王梓坤, 徐利治, 莫绍揆, 余元希
წელი:
1986
ენა:
chinese
ფაილი:
PDF, 8.44 MB
0 / 4.0
chinese, 1986
6
数理逻辑教程

数理逻辑教程

莫绍揆
წელი:
1982
ენა:
chinese
ფაილი:
PDF, 19.95 MB
0 / 4.0
chinese, 1982
7
递归论

递归论

莫绍揆
წელი:
1987
ენა:
chinese
ფაილი:
PDF, 3.70 MB
0 / 0
chinese, 1987
8
数理逻辑漫谈

数理逻辑漫谈

莫绍揆
წელი:
1980
ენა:
chinese
ფაილი:
PDF, 3.36 MB
0 / 0
chinese, 1980
9
数学基础

数学基础

莫绍揆
წელი:
1991
ენა:
chinese
ფაილი:
PDF, 9.40 MB
0 / 3.5
chinese, 1991
10
质点几何学

质点几何学

莫绍揆
წელი:
1992
ენა:
chinese
ფაილი:
PDF, 5.36 MB
0 / 0
chinese, 1992
11
元数学导论 下册

元数学导论 下册

（美）克林（S.C.Kleene）, 莫绍揆
წელი:
1984
ენა:
chinese
ფაილი:
PDF, 16.76 MB
0 / 0
chinese, 1984
12
数理逻辑概貌

数理逻辑概貌

莫绍揆
წელი:
1989
ენა:
chinese
ფაილი:
PDF, 1.36 MB
0 / 0
chinese, 1989
13
元数学导论 上册

元数学导论 上册

（美）克林（S.C.Kleene）, 莫绍揆
წელი:
1984
ენა:
chinese
ფაილი:
PDF, 45.12 MB
0 / 0
chinese, 1984
14
数理逻辑初步

数理逻辑初步

莫绍揆
წელი:
1980
ენა:
chinese
ფაილი:
PDF, 10.60 MB
0 / 5.0
chinese, 1980
15
递归函数论

递归函数论

莫绍揆
წელი:
1965
ენა:
chinese
ფაილი:
PDF, 9.47 MB
0 / 0
chinese, 1965
16
逻辑代数初步

逻辑代数初步

莫绍揆
წელი:
1980
ენა:
chinese
ფაილი:
PDF, 5.20 MB
0 / 5.0
chinese, 1980
17
可计算性理论: 计算机科学丛书

可计算性理论: 计算机科学丛书

莫绍揆, 王元元
წელი:
1987
ენა:
chinese
ფაილი:
PDF, 9.64 MB
0 / 5.0
chinese, 1987
18
极限论新解

极限论新解

莫绍揆
წელი:
1992
ენა:
chinese
ფაილი:
PDF, 3.37 MB
5.0 / 3.0
chinese, 1992
19
逻辑代数和电子计算机简介

逻辑代数和电子计算机简介

莫绍揆, 汪灵华
წელი:
1983
ენა:
chinese
ფაილი:
PDF, 6.90 MB
0 / 5.0
chinese, 1983
20
数学名著译丛 元数学导论 上

数学名著译丛 元数学导论 上

（美）克林（S.C.Kleene）著, 莫绍揆译
წელი:
1984
ენა:
chinese
ფაილი:
PDF, 8.72 MB
0 / 0
chinese, 1984
21
递归论

递归论

莫绍揆
წელი:
1987
ენა:
chinese
ფაილი:
PDF, 4.82 MB
0 / 5.0
chinese, 1987
22
算法论

算法论

莫绍揆
წელი:
1982
ენა:
chinese
ფაილი:
PDF, 9.42 MB
0 / 0
chinese, 1982
23
数理逻辑基础

数理逻辑基础

（德）希尔柏脱（D.Hilbert），（德）阿克曼（W.Ackermann）著；莫绍揆译
წელი:
1958
ენა:
chinese
ფაილი:
PDF, 7.78 MB
0 / 0
chinese, 1958
24
形式语言及其与自动机的关系

形式语言及其与自动机的关系

（美）霍普克罗夫特（J.E.Hopcroft），（美）厄尔曼（J.D.Ullman）著；莫绍揆等译
წელი:
1979
ენა:
chinese
ფაილი:
PDF, 9.00 MB
0 / 0
chinese, 1979
25
递归函数论

递归函数论

莫绍揆编著
წელი:
1965
ენა:
chinese
ფაილი:
PDF, 9.36 MB
0 / 0
chinese, 1965
26
逻辑代数和电子计算机简介

逻辑代数和电子计算机简介

莫绍揆，汪灵华著
წელი:
1983
ენა:
chinese
ფაილი:
PDF, 6.82 MB
0 / 0
chinese, 1983
27
数理逻辑

数理逻辑

莫绍揆等著
წელი:
1984
ენა:
chinese
ფაილი:
PDF, 6.46 MB
5.0 / 5.0
chinese, 1984
28
逻辑代数初步

逻辑代数初步

莫绍揆著
წელი:
1980
ენა:
chinese
ფაილი:
PDF, 5.14 MB
0 / 0
chinese, 1980
29
数理逻辑初步

数理逻辑初步

莫绍揆著
წელი:
1980
ენა:
chinese
ფაილი:
PDF, 6.15 MB
0 / 0
chinese, 1980
30
元数学导论 下

元数学导论 下

（美）克林（Kleene，S.C.）著；莫绍揆译
წელი:
1984
ენა:
chinese
ფაილი:
PDF, 16.61 MB
0 / 0
chinese, 1984
31
算法论

算法论

莫绍揆编著
წელი:
1982
ენა:
chinese
ფაილი:
PDF, 9.31 MB
0 / 0
chinese, 1982
32
数理逻辑教程

数理逻辑教程

莫绍揆著
წელი:
1982
ენა:
chinese
ფაილი:
PDF, 11.24 MB
0 / 0
chinese, 1982
33
递归函数论

递归函数论

培特（R.Peter）著；莫绍揆译
წელი:
1958
ენა:
chinese
ფაილი:
PDF, 12.06 MB
0 / 0
chinese, 1958
34
数理逻辑基础

数理逻辑基础

（德）希尔柏脱（D.Hilbert），（德）阿克曼（W.Ackermann）著；莫绍揆译
წელი:
1958
ენა:
Chinese
ფაილი:
PDF, 6.50 MB
0 / 0
Chinese, 1958
35
数理逻辑基础 Grundzüge der theoretischen Logik

数理逻辑基础 Grundzüge der theoretischen Logik

（德）希尔柏脱, David Hilbert, （德）阿克曼, Wilhelm Ackermann, 莫绍揆
წელი:
1958
ენა:
chinese
ფაილი:
PDF, 7.85 MB
0 / 0
chinese, 1958