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. 1942-; Smiley, T. J.; Association for Symbolic Logic.
Series: Studies in logic and the foundations of mathematics -- v. 108
Publisher: North-Holland Pub. Co.; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1982
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 342
Subjects: Logic, Symbolic and mathematical.
Notes: Papers prepared for a conference which was planned for Aug. 24-30, 1980 in Prague, but which was never held.

Includes bibliographies.