-
西文图书41.Methods in Mathematical Logic. O141-53/L1
馆藏复本:1
可借复本:1 Latin America Symposium on Mathematical Logic(6th : 1983 : Caracas)
Springer-Verlag 1985
(0) 馆藏
-
西文图书42.Recursion Theory. O141.3/R1
馆藏复本:2
可借复本:2 Providence.
American Mathematical Society 1985
(0) 馆藏
-
西文图书43.A Course in Mathematical Modeling O141.4/M2
馆藏复本:1
可借复本:1 Mooney, Douglas D.
Mathematical Association of America 1999.
(0) 馆藏
-
西文图书44.Modules in Applied Mathematics. O141.4/L1
馆藏复本:1
可借复本:1 Lucas, William F. ed.
Springer 1983
(0) 馆藏
-
西文图书45.A Gemeral Theory of Optical Alogorithms. O141/T1
馆藏复本:4
可借复本:4 Traub, J.F. & Wozniakowski, H.
Academic Pr. 1980
(0) 馆藏
-
西文图书46.International Symposium on Multiple-Valued Logic , 9th ,Bath , O141/I1
馆藏复本:1
可借复本:1 Proceedings
IEEE 1979
(0) 馆藏
-
西文图书47.A mathematical introduction to logic O141/E1
馆藏复本:2
可借复本:2 Enderton , H . B
Academic Pr 1972
(0) 馆藏
-
西文图书48.Solutions to selected exercises in the logic book O141/B4.2
馆藏复本:2
可借复本:2 Bergman , Merrie , et al
Ramdom House 1980
(0) 馆藏
-
西文图书49.Selected Papers on Recursion theory. O141.3/S1
馆藏复本:3
可借复本:3 Yang Dong Ping
Guang Hua Pr. 1985
(0) 馆藏
-
西文图书50.Proceedings of The ... O141.3/I6
馆藏复本:1
可借复本:1 International Symposium on Multiple-Valued Logic(20th : 1990 : Charlotte)
IEEE 1990
(0) 馆藏
-
西文图书51.Proceedings O141.3-53/I2
馆藏复本:1
可借复本:1 International symposium o
IEEE 1992.
(0) 馆藏
-
西文图书52.Nonstand ard analysis : recent developments O141.41/H1
馆藏复本:2
可借复本:2 Hurd , Albert Emerson
Springer-Verlag 1983
(0) 馆藏
-
西文图书53.Conceptual Models in Mathematics O141.4/H1
馆藏复本:1
可借复本:1 Hirst, K.E. and Rhodes, F.
George Allen and Unwin Ltd. 1971
(0) 馆藏
-
西文图书54.Proceedings. O141.3/I1
馆藏复本:1
可借复本:1 International Symposium on Multiple Valued Logic, 10th , Evanston,1980
IEEE 1980
(0) 馆藏
-
西文图书55.Proceedings. O141.3/I3
馆藏复本:1
可借复本:1 International Symposium on Multi-Valued Logic(13th : 1983 : Kyoto)
IEEE Computer Society Pr. 1983
(0) 馆藏
-
西文图书56.Thinking Recursively. O141.3/R2
馆藏复本:1
可借复本:0 Roberts, Eric.
Wiley 1986
(0) 馆藏
-
西文图书57.The mathematical theory of L systems O141/R2
馆藏复本:2
可借复本:2 Rozenberg , Grzegorz
Academic Pr 1980
(0) 馆藏
-
西文图书58.Nonstandard analysis ; a practical guide with applications O141.41/L1
馆藏复本:2
可借复本:2 Lutz , Robert , and Goze , Michel
Springer 1981
(0) 馆藏
-
西文图书59.Automated Theorem Proving : after 25 Years. O141/S1
馆藏复本:2
可借复本:2 Special Session on Automatic Theorem Proving(1983 : Denver)
American Mathematical Society 1984
(0) 馆藏
-
西文图书60.Symbolic logic and mechanical theorem proving O141/C1
馆藏复本:2
可借复本:2 Chang , Chin-ling ,and Lee , Richard Char-tung
Academic Press 1973
(0) 馆藏
上一页 3 / 3 下一页 到第 页