Tools

LEADER 01180cam a2200373 a 4500

001 ocn276911268;

003 OCoLC;

005 20141212012016.0;

008 080627s2009 gw b 001 0 eng c;

015 a| GBA8865102| bnb;

020 a| 9783540693185 (pbk.);

020 a| 3540693181 (pbk.);

035 a| (Sirsi) o276911268;

035 a| (OCoLC)276911268;

042 a| pcc;

049 a| EREE;

050 4 a| QA9.54b| .P64 2009;

082 04 a| 511.362| 22;

100 1 a| Pohlers, Wolfram.=| ^A257504;

245 10 a| Proof theory :b| the first step into impredicativity /c| Wolfram Pohlers.;

300 a| xiii, 370 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Universitext;

504 a| Includes bibliographical references (p. 357-361) and index.;

650 0 a| Proof theory.=| ^A27801;

830 0 a| Universitext.=| ^A714665;

994 a| C0b| ERE;

596 a| 1;

998 a| 1453603;

999 a| QA9.54 .P64 2009w| LCc| 1i| 30372013961781d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 1/6/2009x| BOOKz| JSTACKSo| .STAFF. 0;

Proof theory : the first step into impredicativity / Wolfram Pohlers.

Series	Universitext Universitext. ^A714665
Bibliography note	Includes bibliographical references (p. 357-361) and index.
ISBN	9783540693185 (pbk.)
ISBN	3540693181 (pbk.)

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.54 .P64 2009	✔ Available	Place Hold

Click here for more information about this title