Computability and logic /
Daniel E. Cohen.
- Chichester, West Sussex, England : New York : E. Horwood ; Halsted Press, 1987.
- 243 p. ; 25 cm.
- Mathematics and its applications .
- Ellis Horwood series in mathematics and its applications. .
Includes index.
Bibliography: p. [234]-236.
0470215496 0745800343 0470208473
Computable functions. Logic, Symbolic and mathematical.