书目信息 |
| 题名： |
数理逻辑
|
|
| 作者： | 恩德滕, ， Enderton, ， 恩德滕 著 | |
| 分册： | ||
| 出版信息： | 北京 人民邮电出版社 2006.01 |
|
| 页数： | 317页 | |
| 开本： | 21cm | |
| 丛书名： | 图灵原版计算机科学系列 | |
| 单 册： | ||
| 中图分类： | TP0141:H31 ， O141 | |
| 科图分类： | ||
| 主题词： | 数理逻辑--shu li luo ji--教材--英文 , 数学基础 | |
| 电子资源： | ||
| ISBN： | 7-115-14145-2 | |
| 000 | 01273nam0 2200337 45 | |
| 001 | 012005000000 | |
| 005 | 20070607171812.45 | |
| 010 | @a7-115-14145-2@dCNY39.00 | |
| 100 | @a20060304d2006 em y0chiy0121 ea | |
| 101 | 0 | @aeng@fchi@gchi |
| 102 | @aCN@b110000 | |
| 105 | @ay z 001yy | |
| 200 | 1 | @a数理逻辑@Ashu li luo ji@d= A mathematical introduction to logic@f(美)恩德滕(Nerbert B. Enderton)著@F(mei)en de teng(Nerbert B.Enderton)zhu@zeng |
| 205 | @a英文版 | |
| 210 | @a北京@c人民邮电出版社@d2006.01 | |
| 215 | @a317页@d21cm | |
| 225 | 2 | @a图灵原版计算机科学系列@Atu ling yuan ban ji suan ji ke xue xi lie |
| 305 | @a据原书第2版译出 | |
| 320 | @a有索引(第311-317页) | |
| 330 | @a本书是数理逻辑方面的教材，涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容。 | |
| 461 | 0 | @12001 @a图灵原版计算机科学系列 |
| 510 | 1 | @aA mathematical introduction to logic@zeng |
| 606 | 0 | @a数理逻辑@Ashu li luo ji@j教材@j英文 |
| 606 | 0 | @a数学基础 |
| 690 | @aTP0141:H31@v4 | |
| 690 | @aO141@v3 | |
| 701 | 1 | @c(美)@a恩德滕,@Aen de teng@bN. B.@g(Enderton, Nerbert B.)@4著 |
| 701 | 1 | @c(美)@aEnderton,@bN. B.@g(Enderton, Nerbert B.)@4著 |
| 701 | 0 | @a恩德滕@Aen de teng@bNerbertB.Enderton@4著 |
| 801 | 0 | @aCN@c20070607 |
| 905 | @a10447@dO141@eE046 | |
| 数理逻辑= A mathematical introduction to logic/(美)恩德滕(Nerbert B. Enderton)著.-英文版.-北京：人民邮电出版社，2006.01 |
| 317页；21cm.-(图灵原版计算机科学系列) |
| ISBN 7-115-14145-2：CNY39.00 |
| 本书是数理逻辑方面的教材，涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容。 |
| ● |
| 相关链接 |
|
|
|
正题名：数理逻辑
索取号：O141/E046
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 631038 | 206310384 | 自科库401/401自科库 40排2列2层/ [索取号:O141/E046] | 在馆 | |
| 2 | 631039 | 206310393 | 自科库401/401自科库 40排2列2层/ [索取号:O141/E046] | 在馆 |