-
西文图书1.Ordinal algebras / O15/TA
馆藏复本:1
可借复本:1 by Alefed Tarski ; with appendices by Chen-Chung Chang and Bjarni Jónsson.
North-Holland Pub. Co., 1956.
(0) 馆藏 -
西文图书2.Computer programming and formal systems / TP312/CPF
馆藏复本:1
可借复本:0 edited by P. Braffort and D. Hirschberg.
North-Holland Pub. Co., 1963.
(0) 馆藏 -
中文图书3.Equivalents of the axiom of choice / 014/RH
馆藏复本:1
可借复本:1 [by] Herman Rubin and Jean E. Rubin.
North-Holland Pub. Co., 1963.
(0) 馆藏 -
中文图书4.Axiomatic set theory : With a historical introd / 517.1/B457
馆藏复本:1
可借复本:1 by Abraham A. Fraenkel.
North-Holland Pub. Co., 1958.
(0) 馆藏 -
西文图书5.Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / O143/MA
馆藏复本:1
可借复本:1 Andrzej Mostowski.
North-Holland Pub. Co., 1952.
(0) 馆藏 -
西文图书6.Algebra of proofs / O141.2/SME
馆藏复本:1
可借复本:1 M. E. Szabo.
North-Holland Pub. Co. : 1978.
(0) 馆藏 -
西文图书7.Foundations of set theory / 2nd rev. ed. O144/FAA:2/(2)
馆藏复本:1
可借复本:1 Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levey.
Noord-Holland Publishing Company, 1973.
(0) 馆藏 -
中文图书8.The axiomatic method with special reference to geometry and physics : Proceedings of an internationa 513/H513
馆藏复本:1
可借复本:1 edited by Leon Henkin, Patrick Suppes [and] Alfred Tarski.
North-Holland Pub. Co., 1959.
(0) 馆藏 -
西文图书9.Abstract set theory / O144/FAA
馆藏复本:1
可借复本:1 Abraham A. Fraenkel.
North-Holland Pub. Co. ; 1953.
(0) 馆藏 -
西文图书10.Undecidable theories / O143/TA
馆藏复本:2
可借复本:2 by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson.
[North-Holland Pub. Co.], 1953.
(0) 馆藏 -
西文图书11.Complete theories / O15/RA
馆藏复本:1
可借复本:1 Abraham Robinson.
North-Holland Pub. Co., c1956.
(0) 馆藏 -
西文图书12.Mathematical interpretation of formal systems / O1-0/MIF
馆藏复本:2
可借复本:2 [by] Th. Skolem ... [et al.]
North-Holland Pub. Co., c1955.
(0) 馆藏 -
西文图书13.Handbook of mathematical logic / O141-62/BJ
馆藏复本:2
可借复本:2 edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al].
North-Holland Pub. Co., 1977.
(0) 馆藏 -
中文图书14.A survey of mathematical logic = 数理逻辑概论 / QA9
馆藏复本:3
可借复本:3 Wang Hao.
Science Press ; [1962]
(0) 馆藏 -
中文图书15.Constructivity in mathematics / 515/H519
馆藏复本:1
可借复本:1 edited by A. Heyting.
North-Holland Pub. Co., 1959.
(0) 馆藏 -
中文图书16.Foundations of set theory / QA248
馆藏复本:1
可借复本:1 [by] Abraham A. Fraenkel and Yehoshua Bar-Hillel.
North-Holland Pub. Co., 1958.
(0) 馆藏 -
西文图书17.Intuitionism : an introduction / O143/HA
馆藏复本:1
可借复本:1 A.Heyting..
North-Holland Pub. Co., 1956.
(0) 馆藏 -
西文图书18.Solvable cases of the decision problem / O143/AW
馆藏复本:1
可借复本:1 W.Ackermann..
North-Holland Pub. Co., 1954.
(0) 馆藏 -
中文图书19.Combinatory logic. V. 1 / 612.5/C937
馆藏复本:1
可借复本:1 [by] Haskell B. Curry [and] Robert Feys ; with two sections by William Craig.
North-Holland Pub. Co., 1958.
(0) 馆藏 -
中文图书20.On the metamathematics of algebra / 512.81/R561
馆藏复本:1
可借复本:1 Abraham Robinson.
North-Holland Pub. Co., 1951.
(0) 馆藏