Computability and logic

Bibliographic Details
Main Author:	Boolos, George
Other Authors:	Burgess, John P. 1948-, Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge Cambridge University Press c2002.
Edition:	4th ed.
Subjects:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.