Tools

LEADER 01214cam a2200361 4500

001 ocm00959952;

005 20141212124521.0;

008 740621s1974 enka 001 0 eng ;

010 a| 73090811;

015 a| GB***;

020 a| 052120402X;

035 a| (Sirsi) o00959952;

035 a| (OCoLC)959952;

037 c| $10.95 (U.S.);

049 a| ERE*;

050 00 a| QA248.5b| .B66;

082 0 a| 511/.3;

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

245 10 a| Computability and logic /c| [by] George Boolos [and] Richard Jeffrey.;

260 a| Cambridge [Eng.] :b| University Press,c| [1974];

300 a| x, 262 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

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

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

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

919 a| BOOK;

596 a| 1;

998 a| 62176;

999 a| QA248.5 .B66w| LCc| 1i| 310372000685581d| 3/27/2013e| 2/16/2001f| 3/27/2013g| 1l| JGESm| JOYNERn| 4r| Ys| Yt| JGESBKu| 3/4/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Computability and logic / [by] George Boolos [and] Richard Jeffrey.

Author/creator	Boolos, George
Other author	Jeffrey, Richard C.
Format	Book
Publication Info	Cambridge [Eng.] : University Press, [1974]
Description	x, 262 pages : illustrations ; 24 cm
Subjects	Recursive functions. Logic, Symbolic and mathematical. Computable functions.

LCCN	73090811
ISBN	052120402X
Stock number	$10.95 (U.S.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA248.5 .B66	✔ Available	Place Hold

Computability and logic / [by] George Boolos [and] Richard Jeffrey.

Click here for more information about this title

Availability