检索条件: 数理逻辑 ( 主题词 )
责任者 冯琦著
出版信息 科学出版社 ,2025
ISBN 978-7-03-083675-5
扫二维码,手机查看
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
元数学基础.第三卷,CFZFC概念文字
冯琦著.科学出版社,2025.
责任者 (英) 刘易斯·卡罗尔著
出版信息 黑龙江科学技术出版社 ,2025
ISBN 978-7-5719-2864-3
符号逻辑:棋盘上的三段论
(英) 刘易斯·卡罗尔著.黑龙江科学技术出版社,2025.
责任者 (美) 王浩著
出版信息 广西师范大学出版社 ,2024.5
ISBN 978-7-5598-6332-4
从数学到哲学
(美) 王浩著.广西师范大学出版社,2024.5.
责任者 刘志明, 裘宗燕编著
出版信息 科学出版社 ,2022
ISBN 978-7-03-073238-5
数理逻辑引论:计算机科学与系统的天然基础
刘志明, 裘宗燕编著.科学出版社,2022.
责任者 (英) 亚历克斯·贝洛斯著
出版信息 中信出版集团股份有限公司 ,2021
ISBN 978-7-5217-2745-6
烧脑的逻辑题:surprising and rewarding puzzles to sharpen your mind
(英) 亚历克斯·贝洛斯著.中信出版集团股份有限公司,2021.
责任者 Raymond M. Smullyan著
出版信息 中国轻工业出版社 ,2019
ISBN 978-7-5184-2183-1
数理逻辑入门
Raymond M. Smullyan著.中国轻工业出版社,2019.
责任者 H.-D. Ebbinghaus, J. Flum,W. Thomas著
出版信息 世界图书出版有限公司北京分公司 ,2019
ISBN 978-7-5192-5572-5
数理逻辑
H.-D. Ebbinghaus, 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.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您