Cargando…

Provability, complexity, grammars

The book contains English translations of three outstanding dissertations in mathematical logic and complexity theory. L. Beklemishev proves that all provability logics must belong to one of the four previously known classes. The dissertation of M. Pentus proves the Chomsky conjecture about the equi...

Descripción completa

Detalles Bibliográficos
Autores principales: Beklemishev, Lev, Pentus, Mati, Vereshchagin, Nikolai
Lenguaje:eng
Publicado: American Mathematical Society 1999
Materias:
Acceso en línea:http://cds.cern.ch/record/2264266