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: | Logic Colloquium '84 Manchester |
Otros Autores: | Paris, J. B. (Jeff B.), Wilkie, A. J. (Alec J.), Wilmers, G. M. |
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 |
Ejemplares similares
-
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Publicado: (1982) -
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987) -
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Publicado: (1989) -
Realizability : an introduction to its categorical side /
por: Oosten, Jaap van
Publicado: (2008) -
Mathematical interpretation of formal systems
Publicado: (1955)