Tools

LEADER 01973cam a2200469 a 4500

001 ssj0000127525;

003 WaSeSS;

005 20250212121027.0;

006 m d ;

007 cr n ;

008 010802s2002 enka sb 001 0 eng d;

010 a| 2001043302;

020 a| 0521809754;

020 a| 0521007585 (pbk.);

035 a| (WaSeSS)ssj0000127525;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

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

082 00 a| 511.32| 21;

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

245 10 a| Computability and logich| [electronic resource].;

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

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

300 a| xi, 356 p. :b| ill. ;c| 27 cm.;

504 a| Includes bibliographical references (p. 348) 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;

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| 5678228;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5678228-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 9/17/2021x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5678228-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 9/17/2021x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5678228-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 9/17/2021x| EBOOKz| JERESOURCE;

Computability and logic

Author/creator	Boolos, George
Other author	Burgess, John P., 1948-
Other author	Jeffrey, Richard C.
Format	Electronic
Edition	4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Publication Info	Cambridge ; New York : Cambridge University Press,
Description	xi, 356 p. : ill. ; 27 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. 348) and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2001043302
ISBN	0521809754
ISBN	0521007585 (pbk.)

Availability

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

Computability and logic

Click here for more information about this title

Availability