大拱桥--暨南大学学生门户 » 图书馆 » (分类号：O141-55)(共10本)

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977

0
索取号：O141-55/E806
作者：Logic Colloquium (1977 : Wrocław、 Poland)、Pacholski、 Leszek.、Paris、 Jeff.、Macintyre、 Angus.、
出版社：Amsterdam ; New York : North Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.

Word problems II : the Oxford book

0
索取号：O141-55/E904
作者：
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.

Classification theory and the number of non-isomorphic models

0
索取号：O141-55/E805
作者：Shelah、 Saharon.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978.

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

0
索取号：O141-55/E804
作者：Logic Colloquium (1976 : Oxford、 England)、Gandy、 R. O. (Robin O.)、Hyland、 John Martin Elliott.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for U.S.A. and Canada, Elsevier North-Holland, c1977.

Proof theory

0
索取号：O141-55/E901.2
作者：Takeuti、 Gaisi、 1926-、
出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.

Set theory : an introduction to independence proofs

0
索取号：O141-55/E903
作者：Kunen、 Kenneth.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.

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.

Generalized recursion theory II : proceedings of the 1977 Oslo symposium

0
索取号：O141-55/E803/2
作者：Symposium on Generalized Recursion Theory、 2d、 University of Oslo、 1977.、Fenstad、 Jens Erik.、Gandy、 R. O.、Sacks、 Gerald E.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.

Handbook of mathematical logic

0
索取号：O141-55/E801
作者：
出版社：Amsterdam ; New York : North-Holland Pub. Co., 1977.

Algebra of proofs

0
索取号：O141-55/E802
作者：Szabo、 M. E.、
出版社：Amsterdam ; New York : North-Holland Pub. Co. : New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.