Cargando…
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowl...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Oxford :
North-Holland,
1986.
|
| Colección: | Studies in logic and foundations of mathematics ;
v. 120. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
| Sumario: | This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines. |
|---|---|
| Notas: | Includes one chapter in French. |
| Descripción Física: | 1 online resource (x, 377 pages) : illustrations |
| Bibliografía: | Includes bibliographical references. |
| ISBN: | 9780080960432 008096043X 9780444879998 0444879994 |