Title:
Computability and logic.
Author:
Boolos, George.
Personal Author:
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
Electronic Access:
Publisher description http://www.loc.gov/catdir/description/cam022/2001043302.htmlTable of contents http://www.loc.gov/catdir/toc/cam024/2001043302.html
ISBN:
9780521809757
9780521007580
Format :
Book