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
Description
Summary: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.
Physical Description:1 online resource (x, 375 pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9780444880222
0444880224
9781435686991
1435686993
1281716499
9781281716491
1282711199
9781282711198
9786612711190
6612711191
9786611716493
6611716491
0080880061
9780080880068
0080880029
9780080880020