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

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.、AsociacíО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.