Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Othe...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium Hull, Humberside
Otros Autores: Drake, F. R. (Frank Robert)
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : North-Holland, �1988.
Colección:Studies in logic and the foundations of mathematics ; v. 124.
Temas:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et math�ematique > Congr�es.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Kongress
Mathematische Logik
Logica matematica.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Kingston-upon-Hull (1986)
Acceso en línea:Texto completo
Texto completo
Tabla de Contenidos:
  • Chapter 9 How to obtain Interpolation for L K + KChapter 10 The Craig Interpolation Lemma for Certain Modal Logics; Chapter 11 Model Theory and Representation Type of Algebras; Chapter 12 The Knuth-Bendix Completion Procedure, the Growth Function, and Polycyclic Groups; Chapter 13 Introduction to the Theory of Logic Programming; Chapter 14 A Complete Class of Restricted Logic Programs; Chapter 15 Oscillations of Real Numbers; Chapter 16 Doing without Determinacy-Aspects of Inner Models

Ejemplares similares