01221nam a2200313Ia 4500001001200000003000800012006001900020007001500039008004100054010001700095020002700112040002100139035002100160050002300181100002500204245008800229260004800317300001600365490003000381504006400411533015200475650002200627650003800649655002900687710001700716830003100733856012600764999001700890ebr10086799CaPaEBRm        u        cr cn|||||||||930601s1993    nyu     sb    001 0 eng d  z   92040495   z019508232X (acid-free)  aCaPaEBRcCaPaEBR  a(OCoLC)22811725414aQA9.6b.S68 1993eb1 aSmullyan, Raymond M.10aRecursion theory for metamathematicsh[electronic resource] /cRaymond M. Smullyan.  aNew York :bOxford University Press,c1993.  axiv, 163 p.1 aOxford logic guides ;v22  aIncludes bibliographical references (p. 159-160) and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2009.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aRecursion theory. 0aLogic, Symbolic and mathematical. 7aElectronic books.2local2 aebrary, Inc. 0aOxford logic guides ;v22.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10086799zAn electronic book accessible through the World Wide Web; click to view  c51009d51009