检索条件: 数理逻辑 ( 主题词 )
责任者 刘志明,裘宗燕
出版信息 科学出版社 ,2022.10
ISBN 978-7-03-073238-5
扫二维码,手机查看
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
数理逻辑引论:计算机科学与系统的天然基础
刘志明,裘宗燕.科学出版社,2022.10.
责任者 H.-D. Ebbinghaus,J. Flum,W. Thomas[著]
出版信息 ,2019.03
ISBN 9787519255725
Mathematical logic
H.-D. Ebbinghaus,J. Flum,W. Thomas[著].,2019.03.
出版信息 ,2019
H.-D. Ebbinghaus,J. Flum,W. Thomas[著].,2019.
责任者 (美)大卫·W.安格勒著
出版信息 ,2016.04
ISBN 9787030480392
符号逻辑
(美)大卫·W.安格勒著.,2016.04.
责任者 (美)大卫·W.安格勒
出版信息 ,2016
(美)大卫·W.安格勒.,2016.
责任者 黄忠裕,赵焕光
出版信息 科学出版社 ,2010
ISBN 978-7-03-028711-3
相识数学逻辑
黄忠裕,赵焕光.科学出版社,2010.
预借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您