Logic Colloquium '87 |
|
| Editor:
| Ebbinghaus, H. D.
Fernandez-Prida, J.
Garrido, M.
Lascar, D.
Artalejo, M. Rodriguez |
| ISBN: | 978-1-282-71119-8 |
| Publication Date: | Jan 2000 |
| Publisher: | Elsevier Science & Technology Books
|
| Imprint: | North Holland |
| Book Format: | Ebook |
| List Price: | USD $210.00 |
Book Description:
|
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.
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.