Tools

LEADER 01435cam 2200409 a 4500

001 ocm44652575;

003 OCoLC;

005 20141212145538.0;

008 000909s2000 enka b 001 0 eng ;

010 a| 00702855;

015 a| GBA0-W9928;

020 a| 0521779111 (pbk.);

035 a| (Sirsi) o44652575;

035 a| (OCoLC)44652575;

049 a| EREE;

050 00 a| QA9.54b| .T76 2000;

082 00 a| 511.32| 21;

100 1 a| Troelstra, A. S.q| (Anne Sjerp)=| ^A18446;

245 10 a| Basic proof theory /c| A.S. Troelstra, H. Schwichtenberg.;

250 a| 2nd ed.;

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

300 a| xii, 417 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science ;v| 43;

504 a| Includes bibliographical references (p. 379-403) and index.;

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

700 1 a| Schwichtenberg, Helmut,d| 1942-=| ^A387482;

830 0 a| Cambridge tracts in theoretical computer science ;v| 43.=| ^A221007;

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2001-02-21b| 34.95d| 1.99e| 33.21f| 750560;

596 a| 1;

998 a| 786145;

999 a| QA9.54 .T76 2000w| LCc| 1i| 30372011071518d| 1/31/2013l| JGESm| JOYNERp| $33.21q| 1r| Ys| Yt| JGESBKu| 3/1/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Basic proof theory / A.S. Troelstra, H. Schwichtenberg.

Author/creator	Troelstra, A. S.
Other author	Schwichtenberg, Helmut, 1942-
Format	Book
Edition	2nd ed.
Publication Info	Cambridge ; New York : Cambridge University Press, 2000.
Description	xii, 417 pages : illustrations ; 23 cm.
Subjects	Proof theory.

Series	Cambridge tracts in theoretical computer science ; 43 Cambridge tracts in theoretical computer science ; 43. ^A221007
Bibliography note	Includes bibliographical references (p. 379-403) and index.
LCCN	00702855
ISBN	0521779111 (pbk.)

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

Click here for more information about this title