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 Publisher description