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.
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | |
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 |
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 |