检索条件： 数理逻辑 ( 题名 )
责任者 张再跃,张晓如
出版信息 清华大学出版社 ,2013
ISBN 978-7-302-33102-5
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
数理逻辑
张再跃,张晓如.清华大学出版社,2013.
责任者 汪芳庭
出版信息 中国科学技术大学出版社 ,2010.09
ISBN 978-7-312-02708-6
汪芳庭.中国科学技术大学出版社,2010.09.
责任者 孙明湘
出版信息 中南大学出版社 ,2004
ISBN 7-81061-968-3
孙明湘.中南大学出版社,2004.
责任者 ()汉密尔顿著
出版信息 华东师范大学出版社 ,1986
ISBN
()汉密尔顿著.华东师范大学出版社,1986.
责任者 胡耀鼎,张清宇著
出版信息 中国标准出版社 ,1985
胡耀鼎,张清宇著.中国标准出版社,1985.
责任者 莫绍揆等著
出版信息 高等教育出版社 ,1984
莫绍揆等著.高等教育出版社,1984.
责任者 郝兆宽,杨睿之,杨跃
出版信息 复旦大学出版社 ,2020
ISBN 978-7-309-14568-7
数理逻辑：证明及其限度
郝兆宽,杨睿之,杨跃.复旦大学出版社,2020.
责任者 李未
出版信息 科学出版社 ,2014
ISBN 978-7-03-040155-7
数理逻辑：基本原理与形式演算
李未.科学出版社,2014.
责任者 孙希文
出版信息 高等教育出版社 ,2019
ISBN 978-7-04-051352-3
孙希文.高等教育出版社,2019.
责任者 埃宾豪斯,J. Flum,W. Thomas
出版信息 世界图书出版有限公司北京分公司 ,2019
ISBN 978-7-5192-5572-5
埃宾豪斯,J. Flum,W. Thomas.世界图书出版有限公司北京分公司,2019.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
