Cargando…

A framework for priority arguments /

"This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the p...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Lerman, M. (Manuel), 1943-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: [Ithaca, NY?] : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, ©2010.
Colección:Lecture notes in logic ; 34.
Temas:
Acceso en línea:Texto completo