-
中文图书1.形而上学的逻辑基础 B561.59/D533
馆藏复本:5
可借复本:5 (英) 迈克尔·达米特著
中国人民大学出版社 2004
(0) 馆藏 -
西文图书2.Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July... O141.3-532/C951
馆藏复本:2
可借复本:2 Crossley,J.N.
North-Holland Pub. Co. ; 1965.
(0) 馆藏