-
西文图书21.Constrouctibility. O141.3/D1
馆藏复本:2
可借复本:2 Devlin, Keith J.
Spinger-Verlag 1984
(0) 馆藏
-
西文图书22.Studies in Model Theory O141.4/S1
馆藏复本:1
可借复本:1
1973
(0) 馆藏
-
西文图书23.Logic Colloquium '82 : proceedings O141/L1
馆藏复本:3
可借复本:3 Logic Colloquium
North-Holland 1984
(0) 馆藏
-
西文图书24.Algebra of Proofs. O141.2/S1
馆藏复本:2
可借复本:2 Szabo, M.E.
North-Holland 1978
(0) 馆藏
-
西文图书25.11th International Symposium on Multiple-Valued Logic O141.3/I2
馆藏复本:1
可借复本:1 International Symposium on Multi-Valued Logic,11th , Oklahoma City, 1981.
IEEE 1981
(0) 馆藏
-
西文图书26.Concepts of Mathematical Modeling. O141.4/M1
馆藏复本:2
可借复本:2 Meyer, Walter J.
McGraw-Hill Book Co. 1985
(0) 馆藏
-
西文图书27.Mathematical logic O141/E2
馆藏复本:3
可借复本:3 Ebbinghaus , H .D and others
Springer-Verlag 1984
(0) 馆藏
-
西文图书28.Logic for mathematicians O141/H1
馆藏复本:3
可借复本:3 Hamilton , Alan G
The Univ , Pr 1978
(0) 馆藏
-
西文图书29.The logic bood O141/B4
馆藏复本:2
可借复本:2 Bergman , Merrie , et al
Random House 1980
(0) 馆藏
-
西文图书30.Proceedings. O141.3/I5
馆藏复本:1
可借复本:1 International Symposium on Multiple-Valued Logic(15th : 1985 : Kingston, Ontario)
IEEE Computer Society Pr. 1985
(0) 馆藏
-
西文图书31.Methods in Mathematical Logic. O141-53/L1
馆藏复本:1
可借复本:1 Latin America Symposium on Mathematical Logic(6th : 1983 : Caracas)
Springer-Verlag 1985
(0) 馆藏
-
西文图书32.Recursion Theory. O141.3/R1
馆藏复本:2
可借复本:2 Providence.
American Mathematical Society 1985
(0) 馆藏
-
西文图书33.A Gemeral Theory of Optical Alogorithms. O141/T1
馆藏复本:4
可借复本:4 Traub, J.F. & Wozniakowski, H.
Academic Pr. 1980
(0) 馆藏
-
西文图书34.International Symposium on Multiple-Valued Logic , 9th ,Bath , O141/I1
馆藏复本:1
可借复本:1 Proceedings
IEEE 1979
(0) 馆藏
-
西文图书35.A mathematical introduction to logic O141/E1
馆藏复本:2
可借复本:2 Enderton , H . B
Academic Pr 1972
(0) 馆藏
-
西文图书36.Solutions to selected exercises in the logic book O141/B4.2
馆藏复本:2
可借复本:2 Bergman , Merrie , et al
Ramdom House 1980
(0) 馆藏
-
西文图书37.Selected Papers on Recursion theory. O141.3/S1
馆藏复本:3
可借复本:3 Yang Dong Ping
Guang Hua Pr. 1985
(0) 馆藏
-
西文图书38.Proceedings of The ... O141.3/I6
馆藏复本:1
可借复本:1 International Symposium on Multiple-Valued Logic(20th : 1990 : Charlotte)
IEEE 1990
(0) 馆藏
-
西文图书39.Proceedings O141.3-53/I2
馆藏复本:1
可借复本:1 International symposium o
IEEE 1992.
(0) 馆藏
-
西文图书40.Automated Theorem Proving : after 25 Years. O141/S1
馆藏复本:2
可借复本:2 Special Session on Automatic Theorem Proving(1983 : Denver)
American Mathematical Society 1984
(0) 馆藏