书目信息 |
| 题名： |
数理逻辑
|
|
| 作者： | 郝兆宽 ， 杨睿之 ， 杨跃 著 | |
| 分册： | ||
| 出版信息： | 上海 复旦大学出版社 2020.08 |
|
| 页数： | xv, 255页 | |
| 开本： | 24cm | |
| 丛书名： | 逻辑与形而上学教科书系列 | |
| 单 册： | ||
| 中图分类： | O141 | |
| 科图分类： | ||
| 主题词： | 数理逻辑--shu li luo ji--高等学校--教材 | |
| 电子资源： | ||
| ISBN： | 978-7-309-14568-7 | |
| 000 | 01452nam 2200337 450 | |
| 001 | CAL 004023988 | |
| 005 | 20201030113752.8 | |
| 010 | @a978-7-309-14568-7@dCNY49.00 | |
| 092 | @aCN@bRt947-1514 | |
| 100 | @a20201025d2020 em y0chiy0120 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b310000 | |
| 105 | @aa a 001yy | |
| 106 | @ar | |
| 200 | 1 | @a数理逻辑@Ashu li luo ji@e证明及其限度@f郝兆宽, 杨睿之, 杨跃著 |
| 205 | @a第2版 | |
| 210 | @a上海@c复旦大学出版社@d2020.08 | |
| 215 | @axv, 255页@c图@d24cm | |
| 225 | 2 | @a逻辑与形而上学教科书系列@Aluo ji yu xing er shang xue jiao ke shu xi lie |
| 314 | @a郝兆宽, 复旦大学哲学学院副教授。主要研究兴趣是数理逻辑、数学哲学。杨睿之, 复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。杨跃, 新加坡国立大学数学系教授。主要研究兴趣是数理逻辑, 尤其是递归论、皮亚诺算术模型、高阶递归论。 | |
| 320 | @a有索引有书目 (第249-250页) | |
| 330 | @a本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始, 介绍了集合论基本知识, 命题逻辑、一阶逻辑的语法和语义, 哥德尔完全性定理, 递归论基本知识, 简化版本的自然数模型, 哥德尔不完全性定理等内容。 | |
| 410 | 0 | @12001 @a逻辑与形而上学教科书系列 |
| 517 | 1 | @a证明及其限度@Azheng ming ji qi xian du |
| 606 | 0 | @a数理逻辑@Ashu li luo ji@x高等学校@j教材 |
| 690 | @aO141@v5 | |
| 701 | 0 | @a郝兆宽@Ahao zhao kuan@4著 |
| 701 | 0 | @a杨睿之@Ayang rui zhi@4著 |
| 701 | 0 | @a杨跃@Ayang yue@4著 |
| 801 | 0 | @aCN@b人天书店@c20201025 |
| 905 | @aTSG@b0001768@dO141@eH144@f2 | |
| 数理逻辑：证明及其限度/郝兆宽, 杨睿之, 杨跃著.-第2版.-上海：复旦大学出版社，2020.08 |
| xv, 255页：图；24cm.-(逻辑与形而上学教科书系列) |
| ISBN 978-7-309-14568-7：CNY49.00 |
| 本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始, 介绍了集合论基本知识, 命题逻辑、一阶逻辑的语法和语义, 哥德尔完全性定理, 递归论基本知识, 简化版本的自然数模型, 哥德尔不完全性定理等内容。 |
| ● |
| 相关链接 |
|
|
|
正题名：数理逻辑
索取号：O141/H144
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1538746 | 215387463 | 自科库401/401自科库 40排2列3层/ [索取号:O141/H144] | 在馆 | |
| 2 | 1538747 | 215387472 | 自科库401/401自科库 40排2列3层/ [索取号:O141/H144] | 在馆 |