Tools

LEADER 01913nam 2200469 a 4500

001 ssj0000201038;

003 WaSeSS;

005 20240712080447.0;

006 m d ;

007 cr n ;

008 030930s2003 njua sb 000 0 eng d;

010 a| 2003278179;

020 a| 9812382798;

035 a| (WaSeSS)ssj0000201038;

041 1 a| engh| jpn;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA9.54b| .T2813 2003;

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

240 10 a| Gēderu.l| English?| UNAUTHORIZED;

245 10 a| Memoirs of a proof theoristh| [electronic resource] :b| Gödel and other logicians /c| [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.;

246 30 a| Proof theorist;

250 a| [Rev. ed.].;

260 a| River Edge, NJ :b| World Scientific,;

300 a| xviii, 135 p. :b| ill. ;c| 24 cm.;

504 a| Includes bibliographical references.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

600 10 a| Gödel, Kurt.=| ^A45470;

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

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

856 40 z| Full text available from Ebook Central - Academic Completeu| https://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=1681309;

947 a| (OCoLC)ocm52400536;

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| 6458532;

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

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

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

Memoirs of a proof theorist Gödel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.

Author/creator	Takeuti, Gaisi, 1926-
Format	Electronic
Edition	[Rev. ed.].
Publication Info	River Edge, NJ : World Scientific,
Description	xviii, 135 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Ebook Central - Academic Complete
Subjects	Gödel, Kurt. Proof theory.

Uniform title	Gēderu. English
Portion of title	Proof theorist
Bibliography note	Includes bibliographical references.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2003278179
ISBN	9812382798

Availability

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

Memoirs of a proof theorist Gödel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.

Click here for more information about this title

Availability