| 暂存书架(0) | 登录

MARC状态:已编 文献类型:西文图书 浏览次数:46

题名/责任者:
Language, proof, and logic / Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
出版发行项:
Stanford, Calif. : CSLI Publications, 2000.
ISBN:
1889119083 (pbk. : alk. paper)
载体形态项:
xi, 587 p. : ill. ; 24 cm.
个人责任者:
Barwise, Jon.
附加个人名称:
Etchemendy, John, 1952-
附加个人名称:
Allwein, Gerard, 1956-
附加个人名称:
Barker-Plummer, Dave.
论题主题:
Logic.
中图法分类号:
B81
一般附注:
"This manual contains instructions for the applications Submit, Tarski's World, Fitch, and Boole. These four applications ard designed to be used with the textbook and are contained on the CD-ROM" -- LPL software manual.
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 定位
B81/B296 6000738   12楼南外文图书阅览室     保留本 定位
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架