Tools

LEADER 01446cam a22004214a 4500

001 ocm49531175;

003 OCoLC;

005 20141212180608.0;

008 020327s2004 ilu b 001 0 eng ;

010 a| 2002025765;

020 a| 1568811748;

020 a| 1568811756 (pbk.);

035 a| (Sirsi) o49531175;

035 a| (OCoLC)49531175;

040 a| DLCc| DLCd| YDXd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| QA9.56b| .F73 2004;

082 00 a| 511.32| 21;

100 1 a| Franzén, Torkel.=| ^A587231;

245 10 a| Inexhaustibility :b| a non-exhaustive treatment /c| by Torkel Franzén.;

300 a| xi, 251 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in logic ;v| 16;

504 a| Includes bibliographical references (p. 243-244) and index.;

650 0 a| Incompleteness theorems.=| ^A396327;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 0 a| Mathematicsx| Philosophy.=| ^A14926;

830 0 a| Lecture notes in logic ;v| 16.=| ^A682719;

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2004-11-17b| 40d| 0e| 38f| 490102;

596 a| 1;

998 a| 980106;

999 a| QA9.56 .F73 2004w| LCc| 1i| 30372012712243d| 1/31/2013l| JGESm| JOYNERp| $38.00q| 1r| Ys| Yt| JGESBKu| 11/30/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Inexhaustibility : a non-exhaustive treatment / by Torkel Franzén.

Author/creator	Franzén, Torkel
Format	Book
Publication Info	Urbana, Ill. : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, ©2004.
Description	xi, 251 pages ; 23 cm.
Subjects	Incompleteness theorems. Logic, Symbolic and mathematical. Mathematics--Philosophy.

Series	Lecture notes in logic ; 16 Lecture notes in logic ; 16. ^A682719
Bibliography note	Includes bibliographical references (p. 243-244) and index.
LCCN	2002025765
ISBN	1568811748
ISBN	1568811756 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.56 .F73 2004	✔ Available	Place Hold

Inexhaustibility : a non-exhaustive treatment / by Torkel Franzén.

Click here for more information about this title

Availability