Memoirs of a proof theorist : Godel and other logicians /

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

Saved in:
Bibliographic Details
:
ProQuest (Firm)
Takeuti, Gaisi, 1926-
TeilnehmendeR:
ProQuest (Firm)
Year of Publication:2003
Edition:[Rev. ed.].
Language:English
Japanese
Online Access:
Physical Description:xviii, 135 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5001681309
ctrlnum (MiAaPQ)5001681309
(Au-PeEL)EBL1681309
(CaPaEBR)ebr10255483
(CaONFJC)MIL193575
(OCoLC)815752550
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01350nam a2200373 a 4500</leader><controlfield tag="001">5001681309</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">030930s2003 njua sb 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9812382798</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5001681309</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL1681309</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10255483</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL193575</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)815752550</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="041" ind1="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">jpn</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54</subfield><subfield code="b">.T2813 2003</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Takeuti, Gaisi,</subfield><subfield code="d">1926-</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Gederu.</subfield><subfield code="l">English</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Memoirs of a proof theorist</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">Godel and other logicians /</subfield><subfield code="c">[by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.</subfield></datafield><datafield tag="246" ind1="3" ind2="0"><subfield code="a">Proof theorist</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[Rev. ed.].</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">River Edge, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">c2003.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xviii, 135 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Godel, Kurt.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1681309</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Takeuti, Gaisi, 1926-
Gederu. English
Memoirs of a proof theorist [electronic resource] : Godel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.
Proof theorist
[Rev. ed.].
River Edge, NJ : World Scientific, c2003.
xviii, 135 p. : ill.
Includes bibliographical references.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Godel, Kurt.
Proof theory.
Electronic books.
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1681309 Click to View
language English
Japanese
format Electronic
eBook
author Takeuti, Gaisi, 1926-
spellingShingle Takeuti, Gaisi, 1926-
Memoirs of a proof theorist Godel and other logicians /
author_facet Takeuti, Gaisi, 1926-
ProQuest (Firm)
ProQuest (Firm)
author_variant g t gt
author2 ProQuest (Firm)
author2_role TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Takeuti, Gaisi, 1926-
title Memoirs of a proof theorist Godel and other logicians /
title_sub Godel and other logicians /
title_full Memoirs of a proof theorist [electronic resource] : Godel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.
title_fullStr Memoirs of a proof theorist [electronic resource] : Godel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.
title_full_unstemmed Memoirs of a proof theorist [electronic resource] : Godel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.
title_auth Memoirs of a proof theorist Godel and other logicians /
title_alt Gederu.
Proof theorist
title_new Memoirs of a proof theorist
title_sort memoirs of a proof theorist godel and other logicians /
publisher World Scientific,
publishDate 2003
physical xviii, 135 p. : ill.
edition [Rev. ed.].
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.54 T2813 42003
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1681309
illustrated Illustrated
oclc_num 815752550
work_keys_str_mv AT takeutigaisi gederu
AT proquestfirm gederu
AT takeutigaisi memoirsofaprooftheoristgodelandotherlogicians
AT proquestfirm memoirsofaprooftheoristgodelandotherlogicians
AT takeutigaisi prooftheorist
AT proquestfirm prooftheorist
status_str n
ids_txt_mv (MiAaPQ)5001681309
(Au-PeEL)EBL1681309
(CaPaEBR)ebr10255483
(CaONFJC)MIL193575
(OCoLC)815752550
is_hierarchy_title Memoirs of a proof theorist Godel and other logicians /
author2_original_writing_str_mv noLinkedField
_version_ 1792330778016743424

Similar Items