Logic Colloquium '80
Subtitle: papers intended for the European summer meeting of the Association for Symbolic Logic
By: edited by D. Van Dalen, D. Lascar, T.J. Smiley.
Contributors: Dalen, D. van 1932-; Lascar, D.; Smiley, T. J.; Association for Symbolic Logic.
Series: Studies in logic and the foundations of mathematics -- v.108
Publisher: North-Holland Publishing
Published: 1982
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 342
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliographies.