书目信息 |
| 书名： | Language, proof, and logic | |
| 作者： | Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. | |
| 分册号： | ||
| 分册名： | ||
| 出版地： | Stanford, Calif. : |
正在获取封面...
|
| 出版社： | CSLI Publications | |
| 出版时间： | c2002. | |
| 页数： | xi, 587 p. ; | |
| 开本： | 24 cm. | |
| 丛书名： | ||
| 中图分类号： | ||
| 科图分类号： | ||
| 其他分类号： | H31:B81 | |
| 主题词： | ||
| 电子资源： | ||
| 000 | 01405cam a2200529 a 45 | |
| 001 | E1233256870 | |
| 003 | CAL | |
| 005 | 20121018091601.79 | |
| 008 | 990727s2002 cau 001 0 eng | |
| 010 | @a 99041113 | |
| 020 | @a157586374X (pbk. : alk. paper). | |
| 040 | @aDLC@cDLC@dYDX@dGZM@dWAU@dPUL@dMUQ | |
| 050 | 00 | @aBC61@b.B38 2002 |
| 082 | 00 | @a160@221 |
| 093 | @aB81@24 | |
| 094 | @a16@23 | |
| 099 | @dH31:B81@e2 | |
| 100 | 1 | @aBarwise, Jon. |
| 245 | 10 | @aLanguage, proof, and logic / @cJon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. |
| 260 | @aStanford, Calif. :@bCSLI Publications,@cc2002. | |
| 300 | @axi, 587 p. ;@c24 cm. | |
| 500 | @aIncludes indexes. | |
| 650 | 0 | @aLogic. |
| 650 | 0 | @a英语 |
| 700 | 1 | @aEtchemendy, John,@d1952- |
| 700 | 1 | @aLiu, Albert,@d1966- |
| 700 | 1 | @aBarker-Plummer, Dave. |
| 700 | 1 | @aAllwein, Gerard,@d1956- |
| 905 | @a241250 | |
| 920 | @a235010@z2 | |
| 920 | @a221020@z1 | |
| 920 | 1 | @a223031@z1 |
| 920 | 1 | @a234290@z1 |
| 920 | @a242120@z1 | |
| 920 | 1 | @a211111@z1 |
| 920 | 1 | @a221220@z1 |
| 920 | 1 | @a221475@z1 |
| 920 | 1 | @a221270@z1 |
| 920 | 1 | @a262100@z1 |
| 920 | 1 | @a242142@z1 |
| 920 | 1 | @a232181@z1 |
| 920 | @a231010@z2 | |
| 920 | @a251010@z1 | |
| 920 | 1 | @a223080@z1 |
| 920 | 1 | @a223010@z1 |
| 920 | 1 | @a233130@z1 |
| 998 | @aXMU | |
| Language, proof, and logic / / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.-Stanford, Calif. : : CSLI Publications, , c2002. |
| xi, 587 p. ; ; 24 cm. |
| Includes indexes. |
| ISBN 157586374X (pbk. : alk. paper). |
| ● |
| 相关链接 |
正题名：Language, proof, and logic
索取号：H31:B81/2
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 0005688 | 300056882 | 西文书库/4110770204/ [索取号:H31:B81/2] | 在馆 |