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

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.

Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979

0
索取号：O14-53/E801
作者：Scandinavian Logic Symposium.、Jensen、 Finn V.、Mayoh、 B. H.、MøЛler、 Karen K.、
出版社：Aalborg : Institut for Elektroniske Systemer : distruberet af Aalborg Universitetsforlag, 1979.

数理和应用逻辑文集 : proceedings of Chinese conference on Pure and Applied Logic, Beijing, 1992

0
索取号：O14-53/941
作者：
出版社：北京 : 北京大学出版社, 1992