Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /

Bibliographic Details

Corporate Authors:	Logic Colloquium Prague, Czechoslovakia, Association for Symbolic Logic
Other Authors:	Dalen, D. van (Dirk), 1932-, Lascar, D. (Daniel), 1942-, Smiley, T. J. (Timothy John)
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland Pub. Co. ; 1982.
Series:	Studies in logic and the foundations of mathematics ; v. 108.
Subjects:	Logic, Symbolic and mathematical.