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.
| 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 |
Tabla de Contenidos:
- Chapter 9. An Introduction to Extenders and Core Models for Extender SequencesChapter 10. Logical Aspects of the Axiomatic Method: On Their Significance in (Traditional) Foundations and in Some (Now) Common or Garden Varieties of Mathematics; Chapter 11. On the Use of Diagonally Nonrecursive Functions; Chapter 12. Some Aspects of Impredicativity: Notes on Weyl's Philosophy of Mathematics and on Today's Type Theory; Chapter 13. General Logics; Chapter 14. Semantic Parallels in Natural Language and Computation