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