-
中文图书1.形象、思维与推理:存在图逻辑:existential graph logic O141/14
馆藏复本:2
可借复本:2 程橙著
中国社会科学出版社 2022
(0) 馆藏
-
中文图书2.数理逻辑引论:计算机科学与系统的天然基础 O141/13
馆藏复本:1
可借复本:1 刘志明, 裘宗燕编著
科学出版社 2022
(0) 馆藏
-
中文图书3.Introduction to mathematical philosophy.影印本 O141/12
馆藏复本:1
可借复本:1 Bertrand Russell
崇文书局 2022
(0) 馆藏
-
中文图书4.逻辑迷宫 O141/11
馆藏复本:2
可借复本:2 (美) 雷蒙德·M. 斯穆里安著
新星出版社 2023
(0) 馆藏
-
中文图书5.烧脑的逻辑题 O141/9
馆藏复本:3
可借复本:3 (英) 亚历克斯·贝洛斯著
中信出版集团股份有限公司 2021
(0) 馆藏
-
中文图书6.实用逻辑斯谛回归方法 O141/7
馆藏复本:3
可借复本:3 (美) 约瑟夫·M. 西尔贝著
机械工业出版社 2019
(0) 馆藏
-
中文图书7.McCarthy函数和Ackermann函数 O141/6
馆藏复本:1
可借复本:1 刘培杰数学工作室编译
哈尔滨工业大学出版社 2017
(0) 馆藏
-
中文图书8.数理逻辑:基本原理与形式演算 O141/1
馆藏复本:9
可借复本:9 李未著
科学出版社 2008
(0) 馆藏
-
中文图书9.迷人的逻辑题 O14/3
馆藏复本:3
可借复本:3 (英) 亚历克斯·贝洛斯著
中信出版集团 2018
(0) 馆藏
-
中文图书10.对偶三角模-三角余模逻辑及推理 O141/5
馆藏复本:5
可借复本:5 张兴芳著
科学出版社 2015.02
(0) 馆藏
-
中文图书11.错误系统 O14/2
馆藏复本:3
可借复本:3 郭开仲著
科学出版社 2012.03
(0) 馆藏