Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.

Bibliographic Details
Corporate Authors: Logic Colloquium Granada, Spain, ScienceDirect (Online service)
Other Authors: Ebbinghaus, Heinz-Dieter, 1939-
Format: Conference Proceeding eBook
Language:English
Language Notes:English.
Published: Amsterdam ; New York : New York, N.Y. : North-Holland ; Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.
Series:Studies in logic and the foundations of mathematics ; v. 129.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA9.A1 L63 1987eb
 
Call Number Status Get It
QA9.A1 L63 1987eb Available