TY - BOOK AU - Paris,Jeff B. AU - Wilkie,Alec J. AU - Wilmers,G.M. ED - Logic Colloquium ED - Association for Symbolic Logic. TI - Logic Colloquium '84: Proceedings of the colloquium held in Manchester, U.K., July 1984 SN - 0444879994 U1 - 511.3 19 PY - 1986/// CY - Amsterdam, Oxford PB - North-Holland KW - Logic, Symbolic and mathematical KW - Congresses N1 - Includes one chapter in French; "... the European summer meeting of the Association for Symbolic Logic" - Pref; Includes bibliogr. references ER -