Computability, enumerability, unsolvability: directions in recursion theory/
Computability, enumerability, unsolvability: directions in recursion theory/
edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
- Cambridge, UK; New York: Cambridge University Press, 1996.
- vii, 347 p.; 23 cm.
- London Mathematical Society lecture note series; 224 .
Includes bibliographical references.
0521557364 (pbk.)
95044750
GB95-96524
Recursion theory.
Récursivité, Théorie de la.
Mathematical logic
511.3 / C738
Includes bibliographical references.
0521557364 (pbk.)
95044750
GB95-96524
Recursion theory.
Récursivité, Théorie de la.
Mathematical logic
511.3 / C738