| 名称 | Introduction to metamathematics | |
| 索引号 | O141.2/E601 | |
| 分类号 | O141.2 O141.2(证明论) O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学) |
|
| 作者 | Kleene、 Stephen Cole、 1909-、 | |
| 出版社 | Amsterdam : North-Holland Pub. Co. : Groningen : P. Noordhoff N.V., 1952. | |
| ISBN | ||
| 页数 | x, 550 p. ; 24 cm. | |
| 价格 | ||
| 标签 | ||
| 简介 | ||
| 注解 | Includes index. | |
 |
|
|
搜索选项：
|
© Copyright 大拱桥--暨南大学学生门户 • Atom Feed • 粤ICP备17135490号
Last Updated On 20150305 By Carbon Forum (联系我)
Processed in 1.257 ms, 6 queries, Memory usage: 2048 KBytes
粤公网安备 44030602003680号