Cargando…
Computability theory: an introduction
Computability Theory: An Introduction provides information pertinent to the major concepts, constructions, and theorems of the elementary theory of computability of recursive functions. This book provides mathematical evidence for the validity of the Church-Turing thesis.Organized into six chapters,...
Autores principales: | , |
---|---|
Lenguaje: | eng |
Publicado: |
Academic Press
1973
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/111957 |