(分类号：O141-53) - 暨南大学图书馆

	Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 0 索取号：O141-53/E903 作者：Logic Colloquium '87 (1987 : Granada、 Spain)、Ebbinghaus、 Heinz-Dieter、 1939-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.		胡世华文集 0 索取号：O141-53/20091 作者：胡世华、出版社：北京 : 科学出版社, 2008
	Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 0 索取号：O141-53/E901 作者：Logic Colloquium '88 (1988 : Padova、 Italy)、Ferro、 Robert.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.		Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 0 索取号：O141-53/E902 作者：Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas、 Venezuela)、Di Prisco、 C. A.、AsociacíОn Venezolana para el Avance de la Ciencia.、出版社：Berlin ; New York : Springer-Verlag, c1985.
	Algorithms and complexity : second Italian conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings 0 索取号：O141-532/E991 作者：出版社：Berlin ; New York : Springer-Verlag, c1994.

	Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 0 索取号：O141-53/E903 作者：Logic Colloquium '87 (1987 : Granada、 Spain)、Ebbinghaus、 Heinz-Dieter、 1939-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.		胡世华文集 0 索取号：O141-53/20091 作者：胡世华、出版社：北京 : 科学出版社, 2008
	Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 0 索取号：O141-53/E901 作者：Logic Colloquium '88 (1988 : Padova、 Italy)、Ferro、 Robert.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.		Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 0 索取号：O141-53/E902 作者：Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas、 Venezuela)、Di Prisco、 C. A.、AsociacíОn Venezolana para el Avance de la Ciencia.、出版社：Berlin ; New York : Springer-Verlag, c1985.
	Algorithms and complexity : second Italian conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings 0 索取号：O141-532/E991 作者：出版社：Berlin ; New York : Springer-Verlag, c1994.