Cargando…
Reflexive structures: an introduction to computability theory
Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and n...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
1988
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-1-4612-3878-2 http://cds.cern.ch/record/2006139 |