Tools

LEADER 01148cam 22003498a 4500

001 ocm26974961;

003 OCoLC;

005 20141212095032.0;

008 921028s1993 nyu b 001 0 eng ;

010 a| 92040495;

020 a| 019508232X (acid-free);

035 a| (Sirsi) o26974961;

035 a| (OCoLC)26974961;

049 a| EREE;

050 00 a| QA9.6b| .S68 1993;

082 00 a| 511.3/52| 20;

100 1 a| Smullyan, Raymond M.=| ^A219932;

245 10 a| Recursion theory for metamathematics /c| Raymond M. Smullyan.;

260 a| New York :b| Oxford University Press,c| 1993.;

300 a| xiv, 163 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Oxford logic guides ;v| 22;

504 a| Includes bibliographical references and index.;

650 0 a| Recursion theory.=| ^A116859;

830 0 a| Oxford logic guides ;v| 22.=| ^A139801;

919 a| BOOK;

596 a| 1;

998 a| 459930;

999 a| QA9.6.S68 1993w| LCc| 1i| 30372006967837d| 1/31/2013e| 11/21/1993l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 4/27/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Recursion theory for metamathematics / Raymond M. Smullyan.

Author/creator	Smullyan, Raymond M.
Format	Book
Publication Info	New York : Oxford University Press, 1993.
Description	xiv, 163 pages ; 24 cm.
Subjects	Recursion theory.

Series	Oxford logic guides ; 22 Oxford logic guides ; 22. ^A139801
Bibliography note	Includes bibliographical references and index.
LCCN	92040495
ISBN	019508232X (acid-free)

Recursion theory for metamathematics / Raymond M. Smullyan.

Click here for more information about this title