Tools

LEADER 01283cam 2200349 a 4500

001 ocm34990172;

003 OCoLC;

005 20141212124238.0;

008 960617s1996 nyua b 001 0 eng ;

010 a| 96028596;

020 a| 0521572231 (hardback);

035 a| (Sirsi) o34990172;

035 a| (OCoLC)34990172;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

082 00 a| 511.32| 20;

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

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

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

300 a| xi, 343 pages :b| illustrations ;c| 24 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. 309-330) 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;

596 a| 1;

998 a| 619236;

999 a| QA9.54 .T76 1996w| LCc| 1i| 30372009603892d| 1/31/2013e| 5/6/1998l| JGESm| JOYNERn| 1q| 3r| Ys| Yt| JGESBKu| 9/12/1997x| BOOKz| JSTACKSo| .STAFF. 0;

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

Author/creator	Troelstra, A. S.
Other author	Schwichtenberg, Helmut, 1942-
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1996.
Description	xi, 343 pages : illustrations ; 24 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. 309-330) and index.
LCCN	96028596
ISBN	0521572231 (hardback)

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

Click here for more information about this title