Computability and logic.

Bibliographic Details

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