Tools

LEADER 01886cam 2200421 i 4500

001 ssj0000486790;

003 WaSeSS;

005 20251112145557.0;

006 m d ;

007 cr n ;

008 750716s1975 ne s 001 0 eng d;

010 a| 75023164;

020 a| 0444104925 (American Elsevier);

035 a| (WaSeSS)ssj0000486790;

040 a| DLCc| DLCd| DLCd| WaSeSS;

049 a| EREEa| NEHH;

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

082 00 a| 511/.3;

100 1 a| Takeuti, Gaisi,d| 1926-?| UNAUTHORIZED;

245 10 a| Proof theoryh| [electronic resource] /c| Gaisi Takeuti.;

260 a| Amsterdam :b| North-Holland Pub. Co. ;a| New York :b| American Elsevier Pub. Co.,;

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

440 0 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 Intuitionism and Proof Theory held at Buffalo in the summer of 1968.;

500 a| Includes index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

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

655 0 a| Electronic books.=| ^A491897;

856 40 z| Full text available from eBook - Mathematics pre-2007u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Fwww.sciencedirect.com%2Fscience%2Fbookseries%2F0049237X%2F81;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 6598881;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6598881-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 7/18/2025x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6598881-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 7/18/2025x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6598881-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 7/18/2025x| EBOOKz| JERESOURCE;

Proof theory / Gaisi Takeuti.

Author/creator	Takeuti, Gaisi, 1926-
Format	Electronic
Publication Info	Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co.,
Description	vii, 372 p. ; 23 cm.
Supplemental Content	Full text available from eBook - Mathematics pre-2007
Subjects	Proof theory.

Series	Studies in logic and the foundations of mathematics ; v. 81
General note	Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
General note	Includes index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	75023164
ISBN	0444104925 (American Elsevier)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Proof theory / Gaisi Takeuti.

Click here for more information about this title

Availability