Cover image for Computability and logic.
Title:
Computability and logic.
Author:
Boolos, George.
Personal Author:
Boolos, George.
Edition:
Fourth edition / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Publication Information:
Cambridge ; New York : Cambridge University Press, [2002]

©2002
Physical Description:
xi, 356 pages : illustrations ; 26 cm
Language:
English
Subject Term:
Computable functions.

Recursive functions.

Logic, Symbolic and mathematical.
Added Author:
Burgess, John P., 1948-

Jeffrey, Richard C.
Electronic Access:
Publisher description http://www.loc.gov/catdir/description/cam022/2001043302.html
Table of contents http://www.loc.gov/catdir/toc/cam024/2001043302.html
ISBN:
9780521809757

9780521007580
Format :
Book