Computability and logic / Daniel E. Cohen.

Bibliographic Details

Uniform Title:	Ellis Horwood series in mathematics and its applications.
Main Author:	Cohen, Daniel E.
Language:	English
Published:	Chichester, West Sussex, England : New York : E. Horwood ; Halsted Press, 1987.
Series:	Ellis Horwood series in mathematics and its applications.
Subjects:	Computable functions. Logic, Symbolic and mathematical.
Physical Description:	243 pages ; 25 cm.
Format:	Book