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 2007.
Edition:	5th ed.
Subjects:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Online Access:	Table of contents only