Limit search to items available for checkout
Title Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / edited by D. van Dalen, D. Lascar, T.J. Smiley.
Imprint Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.


 Main Stacks  BC135 .L57 1982    AVAILABLE
Description x, 342 p. ; 23 cm.
Series Studies in logic and the foundations of mathematics ; v. 108.
Note Papers prepared for a conference which was planned for Aug. 24-30, 1980 in Prague, but which was never held.
Bibliog. Includes bibliographical footnotes.
Subject Logic, Symbolic and mathematical.
Other Author Dalen, D. van (Dirk), 1932-
Lascar, D. (Daniel), 1942-
Smiley, T. J. (Timothy John)
Association for Symbolic Logic.