-
西文图书1.Introduction to model theory and to the metamathematics of algebra / O14/R658
馆藏复本:1
可借复本:1 Robinson, Abraham,
North-Holland Pub. Co. ; 1963, 1974 printing.
(0) 馆藏 -
西文图书2.Constructivity in mathematics : proceedings / 51.3083/C756
馆藏复本:1
可借复本:1 International Colloquium "Constructivity in Mathematics"
North-Holland Pub. Co., 1957.
(0) 馆藏 -
西文图书3.Constructivity in mathematics : proceedings / 51.6083/H619
馆藏复本:2
可借复本:2 International Colloquium "Constructivity in Mathematics"
North-Holland Pub. Co., 1959.
(0) 馆藏