Computability and logic /
Cohen, Daniel E.,1934-
Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press,
1987.
Includes index.
Bibliography: p. [234]-236.
Computable functions.
Logic, Symbolic and mathematical.