Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Uniform Title |
Gederu. English
|
Title |
Memoirs of a proof theorist [electronic resource] : Godel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell. |
|
Imprint |
River Edge, NJ : World Scientific, c2003. |
|
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
Edition |
[Rev. ed.]. |
Description |
xviii, 135 p. : ill. |
Bibliography |
Includes bibliographical references. |
Reproduction |
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. |
Subject |
Godel, Kurt.
|
|
Proof theory.
|
Genre/Form |
Electronic books.
|
Added Author |
ProQuest (Firm)
|
Added Title |
Proof theorist |
ISBN |
9812382798 |
|