检索到 57 条 分类号=O141 文献类型=西文图书 的结果
-
西文图书21.A course in mathematcal logic O141/B1
馆藏复本：2
可借复本：2 Bell , J . L , and Machover , M
North-Holland Pub . Co 1977
(0) 馆藏 -
西文图书22.A course in mathematical logic . O141/M1
馆藏复本：1
可借复本：1 Manin , Yu .I
Springer-Verlag 1979
(0) 馆藏 -
西文图书23.Logic machines and diagrams O141/G1
馆藏复本：1
可借复本：1 Gardner , Martin
the Univ .of Chicago Pr 1982
(0) 馆藏 -
西文图书24.Mathematical logic and formal systems O141/M4
馆藏复本：1
可借复本：1 Luiz Paulo de Alcantara
Marcel Dekker ,Inc 1985
(0) 馆藏 -
西文图书25.Formal philosophy ; selected papers of Richard Montague O141/M2
馆藏复本：2
可借复本：2 Montague , Richard
New Haven ,Yale Univ Pr 1974
(0) 馆藏 -
西文图书26.Proceedigs. O141-53/S1
馆藏复本：2
可借复本：2 Scandinavian Logic Symposium(5th : 1979 : Aalborg)
Aalborg Univ.Pr. 1979
(0) 馆藏 -
西文图书27.Constrouctibility. O141.3/D1
馆藏复本：2
可借复本：2 Devlin, Keith J.
Spinger-Verlag 1984
(0) 馆藏 -
西文图书28.Studies in Model Theory O141.4/S1
馆藏复本：1
可借复本：1
1973
(0) 馆藏 -
西文图书29.Logic Colloquium '82 : proceedings O141/L1
馆藏复本：3
可借复本：3 Logic Colloquium
North-Holland 1984
(0) 馆藏 -
西文图书30.Algebra of Proofs. O141.2/S1
馆藏复本：2
可借复本：2 Szabo, M.E.
North-Holland 1978
(0) 馆藏 -
西文图书31.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) 馆藏 -
西文图书32.Concepts of Mathematical Modeling. O141.4/M1
馆藏复本：2
可借复本：2 Meyer, Walter J.
McGraw-Hill Book Co. 1985
(0) 馆藏 -
西文图书33.Mathematical logic O141/E2
馆藏复本：3
可借复本：3 Ebbinghaus , H .D and others
Springer-Verlag 1984
(0) 馆藏 -
西文图书34.Logic for mathematicians O141/H1
馆藏复本：3
可借复本：3 Hamilton , Alan G
The Univ , Pr 1978
(0) 馆藏 -
西文图书35.The logic bood O141/B4
馆藏复本：2
可借复本：2 Bergman , Merrie , et al
Random House 1980
(0) 馆藏 -
西文图书36.Proceedings. O141.3/I5
馆藏复本：1
可借复本：1 International Symposium on Multiple-Valued Logic(15th : 1985 : Kingston, Ontario)
IEEE Computer Society Pr. 1985
(0) 馆藏 -
西文图书37.Einfuhrung in die Modelltheorie und ihre Anwendungen. O141.4/P1
馆藏复本：1
可借复本：1 Potthoff, Klaus.
Wissenschaftliche Bchgesellschaft 1981
(0) 馆藏 -
西文图书38.The computer modelling of mathematical reasoning O141/B2
馆藏复本：1
可借复本：1 Bundy , Alan
Academic Pr 1983
(0) 馆藏 -
西文图书39.Methods in Mathematical Logic. O141-53/L1
馆藏复本：1
可借复本：1 Latin America Symposium on Mathematical Logic(6th : 1983 : Caracas)
Springer-Verlag 1985
(0) 馆藏 -
西文图书40.Recursion Theory. O141.3/R1
馆藏复本：2
可借复本：2 Providence.
American Mathematical Society 1985
(0) 馆藏
