-
中文图书1.递归论:算法与随机性基础 O141.3-43/1
馆藏复本:5
可借复本:5 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2018
(0) 馆藏 -
中文图书2.哥德尔纲领 B516.59/67
馆藏复本:5
可借复本:5 郝兆宽著
复旦大学出版社 2018
(0) 馆藏 -
中文图书3.逻辑学核心术语 B81-61/2
馆藏复本:5
可借复本:5 (英)Jon Williamson,(意)Federica Russo著
外语教学与研究出版社 2016
(0) 馆藏 -
中文图书4.春秋左傳補疏 K225.04/81
馆藏复本:3
可借复本:3 (清) 焦循撰
上海古籍出版社 2016
(0) 馆藏 -
中文图书5.当代哲学经典,逻辑学卷 B151/7
馆藏复本:7
可借复本:7 俞吾金, 吴晓明, 杨耕丛书主编
北京师范大学出版社 2014
(0) 馆藏 -
中文图书6.数理逻辑:证明及其限度 O141/24
馆藏复本:5
可借复本:5 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2014
(0) 馆藏 -
中文图书7.集合论:对无穷概念的探索 O144-43/1
馆藏复本:5
可借复本:5 郝兆宽, 杨跃著
复旦大学出版社 2014
(0) 馆藏