Memoirs of a proof theorist Gödel and other logicians /

Sparad:

Bibliografiska uppgifter
Huvudupphov:	Takeuti, Gaisi, 1926-
Institutionellt upphov:	ebrary, Inc
Materialtyp:	Elektronisk E-bok
Språk:	engelska japanska
Utgiven:	River Edge, NJ : World Scientific, c2003.
Upplaga:	[Rev. ed.].
Ämnen:	Gödel, Kurt. Proof theory. Electronic books.
Länkar:	An electronic book accessible through the World Wide Web; click to view
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

MARC


LEADER	00000nam a2200000 a 4500
001	0000103247
005	20171002055352.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	030930s2003 njua sb 000 0 eng d
020			\|z 9812382798
035			\|a (CaPaEBR)ebr10255483
035			\|a (OCoLC)646768264
040			\|a CaPaEBR \|c CaPaEBR
041	1		\|a eng \|h jpn
050	1	4	\|a QA9.54 \|b .T2813 2003eb
100	1		\|a Takeuti, Gaisi, \|d 1926-
240	1	0	\|a Gēderu. \|l English
245	1	0	\|a Memoirs of a proof theorist \|h [electronic resource] : \|b Gödel and other logicians / \|c [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.
246	3	0	\|a Proof theorist
250			\|a [Rev. ed.].
260			\|a River Edge, NJ : \|b World Scientific, \|c c2003.
300			\|a xviii, 135 p. : \|b ill.
504			\|a Includes bibliographical references.
533			\|a Electronic reproduction. \|b Palo Alto, Calif. : \|c ebrary, \|d 2013. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
600	1	0	\|a Gödel, Kurt.
650		0	\|a Proof theory.
655		7	\|a Electronic books. \|2 local
710	2		\|a ebrary, Inc.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10255483 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 92399 \|d 92399