-
西文图书1.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) 馆藏 -
西文期刊2.The Journal of symbolic logic. (E)/O14/1
馆藏复本:1
可借复本:1 Langford, Cooper Harold,
Association for Symbolic Logic, 1936-
(0) 馆藏

