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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| 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 |