检索到 13 条 丛书名=Studies in logic and the foundations of mathematics 的结果
-
西文图书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.Model theory. O141.3/C456
馆藏复本：1
可借复本：1 Chang, Chen Chung,
North-Holland Pub. Co.; 1973.
(0) 馆藏 -
西文图书3.The axiomatic method with special reference to geometry and physics : Proceedings of an internati... 51.234/H513, O14/H513
馆藏复本：3
可借复本：3 Henkin, L鈋on,
North-Holland Pub. Co., 1959.
(0) 馆藏 -
西文图书4.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) 馆藏 -
西文图书5.The foundations of intuitionistic mathematics : especially in relation to recursive functions / O14/K63
馆藏复本：2
可借复本：2 Kleene, Stephen Cole,
North-Holland Pub. Co., 1965.
(0) 馆藏 -
西文图书6.Computer programming and formal systems / TP312/H669
馆藏复本：1
可借复本：1 Hirschberg, D.
North-Holland Pub. Co., 1963.
(0) 馆藏 -
西文图书7.Axiomatic set theory : With a historical introd / O144/B524
馆藏复本：1
可借复本：1 Bernays, Paul,
North-Holland Pub. Co., 1958.
(0) 馆藏 -
西文图书8.Recursive analysis. O14/G655
馆藏复本：1
可借复本：1 Goodstein, R. L.
North-Holland Pub. Co., 1961.
(0) 馆藏 -
西文图书9.Set theory : an introduction to large cardinals / O14/D761
馆藏复本：1
可借复本：1 Drake, F. R.
North-Holland Pub. Co. ; 1974.
(0) 馆藏 -
西文图书10.Model theory / 3rd ed. O141.4
馆藏复本：1
可借复本：1 Chang, Chen Chung,
North-Holland ; 1990.
(0) 馆藏 -
西文图书11.Constructivity in mathematics : proceedings / 51.3083/C756
馆藏复本：1
可借复本：1 International Colloquium "Constructivity in Mathematics"
North-Holland Pub. Co., 1957.
(0) 馆藏 -
西文图书12.Constructivity in mathematics : proceedings / 51.6083/H619
馆藏复本：2
可借复本：2 International Colloquium "Constructivity in Mathematics"
North-Holland Pub. Co., 1959.
(0) 馆藏 -
西文图书13.Set theory : an introduction to independence proofs / 51.38/K96
馆藏复本：2
可借复本：2 Kunen, Kenneth.
North-Holland Pub. Co. ; 1980.
(0) 馆藏
