题名:数理逻辑
作者:(美) Herber B. Enderton著
出版年:2007
ISBN: 978-7-115-14311-2
分类号: O141
中图分类: 数理逻辑(符号逻辑)
译者: 沈复兴, 陈磊, 孙运传
定价: 35.00元
页数: 240 页 页
出版社: 人民邮电出版社
装订: 平装

《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。