Tools

LEADER 01345cam 2200349 i 4500

001 ocm01531974;

005 20141212163147.0;

008 750716s1975 ne 001 0 eng ;

010 a| 75023164;

020 a| 0444104925 (American Elsevier);

035 a| (Sirsi) o01531974;

035 a| (OCoLC)1531974;

049 a| ERE*;

050 00 a| QA9.54b| .T34 1975;

082 0 a| 511/.3;

100 1 a| Takeuti, Gaisi,d| 1926-2017=| ^A75853;

245 10 a| Proof theory /c| Gaisi Takeuti.;

300 a| vii, 372 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in logic and the foundations of mathematics ;v| v. 81;

500 a| Based on a series of lectures given at the Symposium on Institutionism and Proof Theory held at Buffalo in the summer of 1968.;

500 a| Includes index.;

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

830 0 a| Studies in logic and the foundations of mathematicsv| v. 81.=| ^A16526;

919 a| BOOK;

596 a| 1;

998 a| 88380;

999 a| QA9.54 .T34 1975w| LCc| 1i| 310372001019856d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 3/30/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Proof theory / Gaisi Takeuti.

Author/creator	Takeuti, Gaisi
Format	Book
Publication Info	Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Description	vii, 372 pages ; 23 cm.
Subjects	Proof theory.

Series	Studies in logic and the foundations of mathematics ; v. 81 Studies in logic and the foundations of mathematics v. 81. ^A16526
General note	Based on a series of lectures given at the Symposium on Institutionism and Proof Theory held at Buffalo in the summer of 1968.
General note	Includes index.
LCCN	75023164
ISBN	0444104925 (American Elsevier)

Availability

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

Proof theory / Gaisi Takeuti.

Click here for more information about this title

Availability