Logic Colloquium '85
Subtitle: proceedings of the colloquium held in Orsay, France, July 1985
By: edited by the Paris Logic Group.
Contributors: Equipe de logique mathématique (Paris, France); Association for Symbolic Logic.
Series: Studies in logic and the foundations of mathematics -- v. 122
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1987
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 308
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: "European Summer Meeting of the Association for Symbolic Logic ... 7th July to 13th July, 1985"--Pref.

English and French.