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