000290085 000__ 01628cam\a2200409Ia\4500
000290085 001__ 290085
000290085 005__ 20210513110114.0
000290085 006__ m\\\\\o\\d\\\\\\\\
000290085 007__ cr\cnu---unuuu
000290085 008__ 050113s2002\\\\enka\\\\ob\\\\001\0\eng\d
000290085 020__ $$a0511078064 (electronic bk.)
000290085 0243_ $$a9780511078064 (electronic bk.)
000290085 035__ $$a(OCoLC)ocm57417424
000290085 035__ $$a290085
000290085 040__ $$aN$T$$cN$T
000290085 049__ $$aINCN
000290085 05014 $$aQA9.59$$b.B66 2002eb
000290085 08204 $$a511.3$$222
000290085 1001_ $$aBoolos, George.
000290085 24510 $$aComputability and logic$$h[electronic resource].
000290085 250__ $$a4th ed. /$$bGeorge S. Boolos, John P. Burgess, Richard C. Jeffrey.
000290085 260__ $$aCambridge ;$$aNew York :$$bCambridge University Press,$$c2002.
000290085 300__ $$a1 online resource (xi, 356 p.) :$$bill.
000290085 504__ $$aIncludes bibliographical references (p. 348) and index.
000290085 506__ $$aAccess limited to authorized users.
000290085 588__ $$aDescription based on print version record.
000290085 650_0 $$aComputable functions.
000290085 650_0 $$aRecursive functions.
000290085 650_0 $$aLogic, Symbolic and mathematical.
000290085 655_7 $$aElectronic books.$$2lcsh
000290085 7001_ $$aBurgess, John P.,$$d1948-
000290085 7001_ $$aJeffrey, Richard C.
000290085 77608 $$iPrint version record:$$aBoolos, George.$$tComputability and logic.$$b4th ed.$$dCambridge ; New York : Cambridge University Press, 2002$$z0521809754$$z0521007585$$w(DLC)  2001043302$$w(OCoLC)47755792
000290085 85280 $$bebk$$hEBSCOhost
000290085 85640 $$3EBSCOhost$$uhttps://univsouthin.idm.oclc.org/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=125077$$zOnline Access
000290085 909CO $$ooai:library.usi.edu:290085$$pGLOBAL_SET
000290085 980__ $$aEBOOK
000290085 980__ $$aBIB
000290085 982__ $$aEbook
000290085 983__ $$aOnline
000290085 994__ $$a92$$bINCNA