Title: Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Authors: Paris, J. B.; Wilmers, G. M.; Wilkie, A. J.; Wilkie, A. J.
Publisher: North Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Year: 1986
Subjects: Logic, Symbolic and mathematical Congresses.; Logic, Symbolic and mathematical.