Tools

LEADER 01468cam a2200433 a 4500

001 ocm47755792;

003 OCoLC;

005 20141212162341.0;

008 010802s2002 enka b 001 0 eng ;

010 a| 2001043302;

015 a| GBA2-Y9805;

020 a| 0521809754;

020 a| 0521007585 (pb.);

035 a| (Sirsi) o47755792;

035 a| (OCoLC)47755792;

049 a| EREE;

050 00 a| QA9.59b| .B66 2002;

082 00 a| 511.32| 21;

100 1 a| Boolos, George.=| ^A60696;

245 10 a| Computability and logic.;

250 a| 4th ed. /b| George S. Boolos, John P. Burgess, Richard C. Jeffrey.;

260 a| Cambridge, U.K. ;a| New York :b| Cambridge University Press,c| 2002.;

300 a| xi, 356 pages :b| illustrations ;c| 26 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. 348) and index.;

650 0 a| Computable functions.=| ^A60697;

650 0 a| Recursive functions.=| ^A30764;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Jeffrey, Richard C.=| ^A35076;

700 1 a| Burgess, John P.,d| 1948-=| ^A517298;

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2002-05-08b| 28d| 1.73e| 26.6f| 19049;

596 a| 1;

998 a| 876906;

999 a| QA9.59 .B66 2002w| LCc| 1i| 30372011548572d| 1/31/2013l| JGESm| JOYNERp| $26.60q| 1r| Ys| Yt| JGESBKu| 5/28/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Computability and logic.

Author/creator	Boolos, George
Other author	Jeffrey, Richard C.
Other author	Burgess, John P., 1948-
Format	Book
Edition	4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Publication Info	Cambridge, U.K. ; New York : Cambridge University Press, 2002.
Description	xi, 356 pages : illustrations ; 26 cm
Subjects	Computable functions. Recursive functions. Logic, Symbolic and mathematical.

Bibliography note	Includes bibliographical references (p. 348) and index.
LCCN	2001043302
ISBN	0521809754
ISBN	0521007585 (pb.)

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.59 .B66 2002	✔ Available	Place Hold

Click here for more information about this title