搜索包含 logic 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 logic 的图书(共526本)

	The logic of chemical synthesis 0 索取号：O621.3/E904 作者：Corey、 E. J.、Cheng、 Xue-min.、出版社：New York : John Wiley, c1989.		Computability, complexity, logic 0 索取号：O141-55/E902 作者：B̈Оrger、 E. (Egon)、 1946-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A : Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co., 1989.
	Handbook of mathematical logic 0 索取号：O141-55/E801 作者：出版社：Amsterdam ; New York : North-Holland Pub. Co., 1977.		Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa 0 索取号：O141/E803 作者：出版社：New York : M. Dekker, c1985.
	Introduction to mathematical logic : set theory, computable functions, model theory 0 索取号：O141/E804 作者：Malitz、 Jerome.、出版社：New York : Springer-Verlag, c1979.		Notes on logic and set theory 0 索取号：O141/E904 作者：Johnstone、 P. T.、出版社：Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987.
	Symbolic logic and mechanical theorem proving 0 索取号：O141/E805 作者：Chang、 Chin-Liang、 1937-、Lee、 Richard Char-Tung、 1939- joint author.、出版社：New York, Academic Press [1973]		The logic book 0 索取号：O141/E905 作者：Bergmann、 Merrie.、Moor、 James、 1942- joint author.、Nelson、 Jack、 1944- joint author.、出版社：New York : Random House, c1980.
	Introduction to symbolic logic 0 索取号：O141/E807 作者：Carney、 James Donald.、出版社：Englewood Cliffs, N.J. l: Prentice-Hall, [1970].		A mathematical introduction to logic 0 索取号：O141/E808 作者：Enderton、 Herbert B.、出版社：New York : Academic Press, [1972].
	Logic for mathematicians 0 索取号：O141/E809 作者：Hamilton、 A. G.、 1943-、出版社：Cambridge [Eng.] ; New York : Cambridge University Press, 1978.		Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 0 索取号：O14-53/E991 作者：Workshop on Logic and Computation (1987 : Carnegie Mellon University)、Sieg、 Wilfried、 1945-、出版社：Providence, R.I. : American Mathematical Society, c1990.
	Elements of logic and foundations of mathematics in problems 0 索取号：O14-44/E901 作者：Marek、 Wiktor.、Onyszkiewicz、 Janusz.、出版社：Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Warszawa : PWN-Polish Scientific Publishers ; Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston, c1982.		Mathematical logic : an introduction to model theory 0 索取号：O29-51/E801 作者：Lightstone、 A. H.、Enderton、 Herbert B.、出版社：London: New York : Plenum Press, c1978.
	Logic and information 0 索取号：O236/E993 作者：Devlin、 Keith J.、出版社：Cambridge [England] ; New York : Cambridge University Press, 1991.		Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 0 索取号：O132-51/E9016 作者：Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz、 Poland)、Pacholski、 Leszek.、Wierzejewski、 J. (Jedrzej).、Wilkie、 A. J. (Alec J.)、出版社：Berlin ; New York : Springer-Verlag, 1980.

	The logic of chemical synthesis 0 索取号：O621.3/E904 作者：Corey、 E. J.、Cheng、 Xue-min.、出版社：New York : John Wiley, c1989.		Computability, complexity, logic 0 索取号：O141-55/E902 作者：B̈Оrger、 E. (Egon)、 1946-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A : Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co., 1989.
	Handbook of mathematical logic 0 索取号：O141-55/E801 作者：出版社：Amsterdam ; New York : North-Holland Pub. Co., 1977.		Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa 0 索取号：O141/E803 作者：出版社：New York : M. Dekker, c1985.
	Introduction to mathematical logic : set theory, computable functions, model theory 0 索取号：O141/E804 作者：Malitz、 Jerome.、出版社：New York : Springer-Verlag, c1979.		Notes on logic and set theory 0 索取号：O141/E904 作者：Johnstone、 P. T.、出版社：Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987.
	Symbolic logic and mechanical theorem proving 0 索取号：O141/E805 作者：Chang、 Chin-Liang、 1937-、Lee、 Richard Char-Tung、 1939- joint author.、出版社：New York, Academic Press [1973]		The logic book 0 索取号：O141/E905 作者：Bergmann、 Merrie.、Moor、 James、 1942- joint author.、Nelson、 Jack、 1944- joint author.、出版社：New York : Random House, c1980.
	Introduction to symbolic logic 0 索取号：O141/E807 作者：Carney、 James Donald.、出版社：Englewood Cliffs, N.J. l: Prentice-Hall, [1970].		A mathematical introduction to logic 0 索取号：O141/E808 作者：Enderton、 Herbert B.、出版社：New York : Academic Press, [1972].
	Logic for mathematicians 0 索取号：O141/E809 作者：Hamilton、 A. G.、 1943-、出版社：Cambridge [Eng.] ; New York : Cambridge University Press, 1978.		Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 0 索取号：O14-53/E991 作者：Workshop on Logic and Computation (1987 : Carnegie Mellon University)、Sieg、 Wilfried、 1945-、出版社：Providence, R.I. : American Mathematical Society, c1990.
	Elements of logic and foundations of mathematics in problems 0 索取号：O14-44/E901 作者：Marek、 Wiktor.、Onyszkiewicz、 Janusz.、出版社：Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Warszawa : PWN-Polish Scientific Publishers ; Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston, c1982.		Mathematical logic : an introduction to model theory 0 索取号：O29-51/E801 作者：Lightstone、 A. H.、Enderton、 Herbert B.、出版社：London: New York : Plenum Press, c1978.
	Logic and information 0 索取号：O236/E993 作者：Devlin、 Keith J.、出版社：Cambridge [England] ; New York : Cambridge University Press, 1991.		Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 0 索取号：O132-51/E9016 作者：Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz、 Poland)、Pacholski、 Leszek.、Wierzejewski、 J. (Jedrzej).、Wilkie、 A. J. (Alec J.)、出版社：Berlin ; New York : Springer-Verlag, 1980.