数理逻辑 证明及其限度
- 作者郝兆宽，杨睿之，杨跃著
- 出版社上海：复旦大学出版社
- 标注页数249 页
- 文件页数265 页
- 文件大小44.87 MB
- 出版时间2014
- ISBN9787309110258
内容简介
本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数理逻辑之门的导论。
同作者推荐
A concrete for lining blast furnace shaftsN. V. Pitak; R. M. Fedoruk; L. M. Degtyareva; L. D. Gritsuk; V. A. Chechenev · 1989
Differentiated use of refractories in blast furnace liningsN. V. Pitak; R. M. Fedoruk; A. G. Khoruzhii; L. M. Degtyareva; L. K. Savina; E. V. Poltarak · 1998
A thermal insulation compound for lining blast furance tuyeresR. M. Fedoruk; N. V. Pitak; L. M. Degtyareva; B. N. Starshinov; R. P. Panasenko · 1991
Heat-insulation mixture for linings of tuyere apparatuses of blast furnacesN. V. Pitak; R. M. Fedoruk; L. M. Degtyareva; V. N. Starshinov · 1995
Silicon carbide-containing concretes for lining blast furnace shaftsN. V. Pitak; R. M. Fedoruk; L. M. Degtyareva; E. I. Aksel'rod · 1993