Tools

LEADER 01270cam a22003854a 4500

001 ocm44084200;

003 OCoLC;

005 20141212155946.0;

008 000510s2001 enk b 001 0 eng ;

010 a| 00040327;

015 a| GBA1-37866;

020 a| 0521793076 (hbk.);

035 a| (Sirsi) o44084200;

035 a| (OCoLC)44084200;

042 a| pcc;

049 a| EREE;

050 00 a| QA9.54b| .N44 2001;

082 00 a| 511.32| 21;

100 1 a| Negri, Sara,d| 1967-=| ^A489474;

245 10 a| Structural proof theory /c| Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta.;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 2001.;

300 a| xvii, 257 pages ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. 245-249) and indexes.;

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

700 1 a| Von Plato, Jan.=| ^A331156;

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2001-08-08b| 54.95d| 2.77e| 46.16f| 877614;

596 a| 1;

998 a| 849225;

999 a| QA9.54 .N44 2001w| LCc| 1i| 30372011198139d| 1/31/2013l| JGESm| JOYNERp| $46.16q| 1r| Ys| Yt| JGESBKu| 8/23/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Structural proof theory / Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta.

Author/creator	Negri, Sara, 1967-
Other author	Von Plato, Jan.
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 2001.
Description	xvii, 257 pages ; 24 cm
Subjects	Proof theory.

Bibliography note	Includes bibliographical references (p. 245-249) and indexes.
LCCN	00040327
ISBN	0521793076 (hbk.)

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

Click here for more information about this title