检索条件： 数理逻辑 ( 主题词 )
责任者 杜国平,
出版信息 中国社会科学出版社 ,2023
ISBN 978-7-5227-2100-2
扫二维码，手机查看
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
中国表示法及其逻辑研究
杜国平,.中国社会科学出版社,2023.
责任者 刘志明,裘宗燕
出版信息 科学出版社 ,2022
ISBN 978-7-03-073238-5
数理逻辑引论：计算机科学与系统的天然基础
刘志明,裘宗燕.科学出版社,2022.
责任者 贝洛斯
出版信息 中信出版集团股份有限公司 ,2021
ISBN 978-7-5217-2745-6
烧脑的逻辑题：surprising and rewarding puzzles to sharpen your mind
贝洛斯.中信出版集团股份有限公司,2021.
责任者 斯穆里安
出版信息 中国轻工业出版社 ,2019
ISBN 978-7-5184-2183-1
数理逻辑入门
斯穆里安.中国轻工业出版社,2019.
责任者 埃宾豪斯,J. Flum,W. Thomas
出版信息 世界图书出版有限公司北京分公司 ,2019
ISBN 978-7-5192-5572-5
数理逻辑
埃宾豪斯,J. Flum,W. Thomas.世界图书出版有限公司北京分公司,2019.
出版信息 中信出版社 ,2018
ISBN 978-7-5086-9376-7
迷人的逻辑题
贝洛斯.中信出版社,2018.
责任者 冯琦
出版信息 科学出版社 ,2017.9
ISBN 978-7-03-054579-4
数理逻辑导引
冯琦.科学出版社,2017.9.
责任者 刘培杰数学工作室
出版信息 哈尔滨工业大学出版社 ,2017
ISBN 978-7-5603-6494-0
McCarthy函数和Ackermann函数
刘培杰数学工作室.哈尔滨工业大学出版社,2017.
责任者 安格勒
出版信息 科学出版社 ,2016
ISBN 978-7-03-048039-2
符号逻辑：语法、语义和证明
安格勒.科学出版社,2016.
责任者 房元霞,赵汝木,盛秀艳
出版信息 科学出版社 ,2015
ISBN 978-7-03-046908-3
数理逻辑与集合论
房元霞,赵汝木,盛秀艳.科学出版社,2015.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
