Tools

LEADER 02127nam a2200517 a 4500

001 ssj0000358182;

003 WaSeSS;

005 20260712090213.0;

006 m d ;

007 cr n ;

008 070403s2007 enka sb 001 0 eng d;

010 a| 2007014225;

020 a| 9780521877527 (hbk.);

020 a| 0521877520 (hbk.);

020 a| 9780521701464 (pbk.);

020 a| 0521701465 (pbk.);

035 a| (WaSeSS)ssj0000358182;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

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

082 00 a| 511.3/522| 22;

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

245 10 a| Computability and logich| [electronic resource] /c| George S. Boolos, John P. Burgess, Richard C. Jeffrey.;

250 a| 5th ed.;

260 a| Cambridge ;a| New York :b| Cambridge University Press,;

300 a| xiii, 350 p. :b| ill. ;c| 26 cm.;

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

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

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

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

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

655 0 a| Electronic books.=| ^A491897;

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

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

856 40 z| Full text available from eBooks on EBSCOhostu| https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=125077&scope=site&custid=s5822723&authtype=ip,shib;

947 a| (OCoLC)ocn122526900;

947 a| (OCoLC)122526900;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 6748357;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6748357-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 7/16/2026x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6748357-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 7/16/2026x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6748357-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 7/16/2026x| EBOOKz| JERESOURCE;

Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey.

Author/creator	Boolos, George
Other author	Burgess, John P., 1948-
Other author	Jeffrey, Richard C.
Format	Electronic
Edition	5th ed.
Publication Info	Cambridge ; New York : Cambridge University Press,
Description	xiii, 350 p. : ill. ; 26 cm.
Supplemental Content	Full text available from eBooks on EBSCOhost
Subjects	Computable functions. Recursive functions. Logic, Symbolic and mathematical.

Bibliography note	Includes bibliographical references (p. 341) and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2007014225
ISBN	9780521877527 (hbk.)
ISBN	0521877520 (hbk.)
ISBN	9780521701464 (pbk.)
ISBN	0521701465 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey.

Click here for more information about this title

Availability