Tools

LEADER 01176cam a22003371 4500

001 ocm00527319;

005 20141212083006.0;

008 840131s1961 njua b 000 0 eng ;

010 a| 60014063;

035 a| (Sirsi) o00527319;

035 a| (OCoLC)527319;

049 a| EREE;

050 00 a| QA248.5b| .S55;

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

245 10 a| Theory of formal systems.;

260 a| Princeton, N.J. :b| Princeton University Press,c| 1961.;

300 a| 142 pages :b| illustrations ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Annals of mathematics studies ;v| 47;

500 a| "A revision of the author's recent doctoral dissertation-- [Princeton]";

504 a| Includes bibliography.;

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

650 0 a| Metamathematics.=| ^A58071;

830 0 a| Annals of mathematics studiesv| 47.=| ^A63685;

919 a| BOOK;

596 a| 1;

998 a| 388832;

999 a| QA248.5 .S55w| LCc| 1i| 30372005875635d| 3/27/2013f| 3/27/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 7/2/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Theory of formal systems.

Author/creator	Smullyan, Raymond M.
Format	Book
Publication Info	Princeton, N.J. : Princeton University Press, 1961.
Description	142 pages : illustrations ; 26 cm.
Subjects	Recursive functions. Metamathematics.

Series	Annals of mathematics studies ; 47 Annals of mathematics studies 47. ^A63685
General note	"A revision of the author's recent doctoral dissertation-- [Princeton]"
Bibliography note	Includes bibliography.
LCCN	60014063

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA248.5 .S55	✔ Available	Place Hold

Click here for more information about this title