-
西文图书1.Automated Theorem Proving : after 25 Years. O141/S1
馆藏复本:2
可借复本:2 Special Session on Automatic Theorem Proving(1983 : Denver)
American Mathematical Society 1984
(0) 馆藏 -
西文图书2.Nonstandard analysis ; a practical guide with applications O141.41/L1
馆藏复本:2
可借复本:2 Lutz , Robert , and Goze , Michel
Springer 1981
(0) 馆藏 -
西文图书3.The mathematical theory of L systems O141/R2
馆藏复本:2
可借复本:2 Rozenberg , Grzegorz
Academic Pr 1980
(0) 馆藏 -
西文图书4.Proceedings. O141.3/I3
馆藏复本:1
可借复本:1 International Symposium on Multi-Valued Logic(13th : 1983 : Kyoto)
IEEE Computer Society Pr. 1983
(0) 馆藏 -
西文图书5.Proceedings. O141.3/I1
馆藏复本:1
可借复本:1 International Symposium on Multiple Valued Logic, 10th , Evanston,1980
IEEE 1980
(0) 馆藏 -
西文图书6.Nonstand ard analysis : recent developments O141.41/H1
馆藏复本:2
可借复本:2 Hurd , Albert Emerson
Springer-Verlag 1983
(0) 馆藏 -
西文图书7.Mathematical logic O141/M5
馆藏复本:2
可借复本:2 Monk , J , Donald
Springer-Verlag 1976
(0) 馆藏 -
西文图书8.Proceedings O141.3-53/I1
馆藏复本:1
可借复本:1 International symposium o
IEEE 1991.
(0) 馆藏 -
西文图书9.Model Theory of Algebra and Arith-metic. O141.4/C1
馆藏复本:2
可借复本:2 Conference on Applications of Logic to Algebra and Arithmetic, Karpacz, 1979
Springer 1980
(0) 馆藏 -
西文图书10.Logic and Structure. O141/V1
馆藏复本:2
可借复本:2 Van Dalen, Dirk.
Spinger-Verlag 1983
(0) 馆藏 -
西文图书11.Topics in philosophical logic O141/R1
馆藏复本:2
可借复本:2 Rescher , Nicholas
Holland , Reidel 1986
(0) 馆藏 -
西文图书12.Computability in Analysis and Physics. O141.3/P1
馆藏复本:1
可借复本:1 Pour-El, Marian B.
Springer-Verlag 1989
(0) 馆藏 -
西文图书13.Proceedings O141.3/I4
馆藏复本:1
可借复本:1 International Symposium on Multiple-Valued Logic(12th : 1982 : Paris)
IEEE Computer Society Pr. 1982
(0) 馆藏 -
西文图书14.Computability O141.3/C2
馆藏复本:3
可借复本:3 Cutland, N.
The Univ.Pr. 1980
(0) 馆藏 -
西文图书15.Discrete and System Models. O141.4/L1.2
馆藏复本:3
可借复本:3 Lucas, William F.et al. ed.
Springer 1983
(0) 馆藏 -
西文图书16.A course in mathematcal logic O141/B1
馆藏复本:2
可借复本:2 Bell , J . L , and Machover , M
North-Holland Pub . Co 1977
(0) 馆藏 -
西文图书17.A course in mathematical logic . O141/M1
馆藏复本:1
可借复本:1 Manin , Yu .I
Springer-Verlag 1979
(0) 馆藏 -
西文图书18.Mathematical logic and formal systems O141/M4
馆藏复本:1
可借复本:1 Luiz Paulo de Alcantara
Marcel Dekker ,Inc 1985
(0) 馆藏 -
西文图书19.Formal philosophy ; selected papers of Richard Montague O141/M2
馆藏复本:2
可借复本:2 Montague , Richard
New Haven ,Yale Univ Pr 1974
(0) 馆藏 -
西文图书20.Proceedigs. O141-53/S1
馆藏复本:2
可借复本:2 Scandinavian Logic Symposium(5th : 1979 : Aalborg)
Aalborg Univ.Pr. 1979
(0) 馆藏
上一页 1 / 2 下一页 到第 页