Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 / edited by the Paris Logic Group.

Bibliographic Details
Uniform Title:Studies in logic and the foundations of mathematics ; v. 122.
Corporate Authors: Logic Colloquium Orsay, France
Equipe de logique mathématique (Paris, France)
Language:English
French
Published: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
Series:Studies in logic and the foundations of mathematics ; v. 122.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Genre:
Congresses.
Physical Description:xiii, 308 pages : illustrations, portrait ; 23 cm.
Format: Conference Proceeding Book
Description
Note:English and French.
Call Number:QA9.A1 L63 1985
Bibliography Note:Includes bibliographies.
ISBN:0444702113 (U.S.)