Computability and logic.

Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters.

Bibliographic Details

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