Cargando…

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium Granada, Spain
Otros Autores: Ebbinghaus, Heinz-Dieter, 1939-
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York, N.Y. : North-Holland ; Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.
Colección:Studies in logic and the foundations of mathematics ; v. 129.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Sumario: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.
Descripción Física:1 online resource (x, 375 pages)
Bibliografía:Includes bibliographical references.
ISBN:9780444880222
0444880224
9781435686991
1435686993
1281716499
9781281716491
1282711199
9781282711198
9786612711190
6612711191
9786611716493
6611716491
0080880061
9780080880068
0080880029
9780080880020