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
Main Author: Ebbinghaus, Heinz-Dieter
Corporate Author: Logic Colloquium (1987, Granada, Spain)
Format: eBook
Language:English
Published: Amsterdam North-Holland 1989, 1989
Series:Studies in logic and the foundations of mathematics
Subjects:
Online Access:
Collection: Elsevier eBook collection Mathematics - Collection details see MPG.ReNa
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
Item Description: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
Physical Description:x, 375 pages
ISBN:0080880061
9786612711190
1281716499
6611716491
0444880224
1282711199
1435686993
9781435686991
9781282711198
9780080880068
9781281716491
9786611716493
0080880029
9780444880222
6612711191