检索到 24 条 主题词=Logic, Symbolic and mathematical 的结果
-
西文图书1.An examination of a decision procedure / O1/O35
馆藏复本：2
可借复本：2 Oglesby, Francis C.
American Mathematical Society, 1962.
(0) 馆藏 -
西文图书2.Symbolic logic and intelligent machines. O15/B512
馆藏复本：1
可借复本：1 Berkeley, Edmund Callis.
Reinhold Pub. Corp., [1959]
(0) 馆藏 -
西文图书3.Current issues in quantum logic / O141-53/B453
馆藏复本：3
可借复本：3 Beltrametti, Enrico G.
Plenum Press, c1981.
(0) 馆藏 -
西文图书4.A survey of mathematical logic. / O14/W246
馆藏复本：3
可借复本：3 Wang Hao.
Science P., 1962.
(0) 馆藏 -
西文图书5.A course in mathematical logic / 51.3055, O141/M278
馆藏复本：6
可借复本：6 Manin, IU. I.
World Publishing Co., c1977.
(0) 馆藏 -
西文图书6.Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July... O141.3-532/C951
馆藏复本：2
可借复本：2 Crossley,J.N.
North-Holland Pub. Co. ; 1965.
(0) 馆藏 -
西文图书7.Fuzzy logic in knowledge engineering / O159/P896
馆藏复本：1
可借复本：1 Prade, Henri M.
TèUV Rheinland, c1986.
(0) 馆藏 -
西文图书8.Introduction to mathematical logic : set theory, computable functions, model theory / O141/M251
馆藏复本：1
可借复本：1 Malitz, Jerome,
Springer-Verlag, c1979.
(0) 馆藏 -
西文图书9.A logical analysis of the theory of relativity / O412.1/T627
馆藏复本：1
可借复本：1 To?rnebohm, Ha?kan.
Almqvist & Wiksell, 1952.
(0) 馆藏 -
西文图书10.Communication : a logical model. O14/H296
馆藏复本：1
可借复本：1 Harrah, David.
M. I. T. Press, 1963.
(0) 馆藏 -
西文图书11.Readings in nonmonotonic reasoning / TP11/G493
馆藏复本：1
可借复本：1 Ginsberg, Matthew L.,
M. Kaufmann Publishers, c1987.
(0) 馆藏 -
西文图书12.Schaum's outline of theory and problems of discrete mathematics / O186.1/L767
馆藏复本：1
可借复本：1 Lipschutz, Seymour
McGraw-Hill, c1976.
(0) 馆藏 -
西文图书13.Mathematics and logic for digital devices. O14/C967
馆藏复本：1
可借复本：1 Culbertson, James T.
Van Nostrand, [1958]
(0) 馆藏 -
西文期刊14.The Journal of symbolic logic. (E)/O14/1
馆藏复本：1
可借复本：1 Langford, Cooper Harold,
Association for Symbolic Logic, 1936-
(0) 馆藏 -
西文图书15.Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, TP302-532/S989
馆藏复本：2
可借复本：2 Botik '89
Springer-Verlag, c1989.
(0) 馆藏 -
西文图书16.The logical basis for computer programming v.I deductive reasoning 73.87221/M202/1
馆藏复本：1
可借复本：1 Manna, Z.
Addison-Wesley 1985.
(0) 馆藏 -
西文图书17.Mathematical logic : an introduction to model theory / 51.3Q3
馆藏复本：1
可借复本：1 Lightstone, A. H.
Plenum Press, c1978.
(0) 馆藏 -
西文图书18.Mathematical logic 51.31
馆藏复本：5
可借复本：5 Shoenfield, Joseph R.
Addison-Wesley Pub. Co. [1967]
(0) 馆藏 -
西文图书19.Dictionary of logical terms and symbols / 51.3072
馆藏复本：1
可借复本：1 Greenstein, Carol Horn.
Van Nostrand Reinhold, c1978.
(0) 馆藏 -
西文图书20.Mathematical logic : an introduction to model theory / 51.3/L724
馆藏复本：2
可借复本：2 Lightstone, A. H.
Plenum Press, c1978.
(0) 馆藏
