Cargando…
A Framework for Priority Arguments
This book presents a unifying framework for using priority arguments to prove theorems in computability
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Cambridge University Press
2010
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1314917 |