Tools

LEADER 01285cam a2200361Ii 4500

001 ocm03476138;

005 20141211231908.0;

008 771209s1977 gw b 001 0 eng d;

010 a| 76045768;

020 a| 3540079114;

035 a| (Sirsi) o03476138;

035 a| (OCoLC)2508348;

040 a| EEMc| EEMd| EREd| UtOrBLW;

049 a| ERE*;

090 a| QA9b| .S3613x;

100 1 a| Schütte, K.q| (Kurt)=| ^A98875;

240 10 a| Beweistheorie. English=| ^A98875;

245 10 a| Proof theory /c| Kurt Schütte ; translation from the German by J. N. Crossley.;

260 a| Berlin ;a| New York :b| Springer-Verlag,c| 1977.;

300 a| xii, 302 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Grundlehren der mathematischen Wissenschaften ;v| Bd. 225;

500 a| Translation of Beweistheorie.;

500 a| Includes index.;

504 a| Bibliography: p. 293-296.;

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

830 0 a| Grundlehren der mathematischen Wissenschaftenv| Bd. 225.=| ^A16455;

919 a| BOOK;

596 a| 1;

998 a| 128216;

999 a| QA9 .S3613Xw| LCc| 1i| 310372001548635d| 1/31/2013e| 8/23/1990l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 5/16/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley.

Author/creator	Schütte, K.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, 1977.
Description	xii, 302 pages ; 25 cm.
Subjects	Proof theory.

Uniform title	Beweistheorie. English
Series	Grundlehren der mathematischen Wissenschaften ; Bd. 225 Grundlehren der mathematischen Wissenschaften Bd. 225. ^A16455
General note	Translation of Beweistheorie.
General note	Includes index.
Bibliography note	Bibliography: p. 293-296.
LCCN	76045768
ISBN	3540079114

Availability

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

Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley.

Click here for more information about this title

Availability