Tell your friends about this item:
Logic's Lost Genius: The Life of Gerhard Gentzen - History of Mathematics Eckart Menzler-Trott
Do you have a profile? Log in
Get notified about new Eckart Menzler-Trott releases
Our customers say:
Add to your iMusic wish list
Logic's Lost Genius: The Life of Gerhard Gentzen - History of Mathematics
Eckart Menzler-Trott
Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called proof theory but also in verification programs that are essential in computer science. This is the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen.
442 pages
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | May 30, 2016 |
| ISBN13 | 9781470428129 |
| Publishers | American Mathematical Society |
| Pages | 442 |
| Dimensions | 150 × 220 × 10 mm · 663 g (Weight (estimated)) |
![Cover for Eckart Menzler-Trott · Gentzens Problem: Mathematische Logik Im Nationalsozialistischen Deutschland (Paperback Book) [Softcover Reprint of the Original 1st 2001 edition] (2012)](https://imusic.b-cdn.net/images/item/original/170/9783034895170.jpg?eckart-menzler-trott-2012-gentzens-problem-mathematische-logik-im-nationalsozialistischen-deutschland-paperback-book&class=scaled&v=1441119901)
![Cover for Alex Kasman · Glimpses of Soliton Theory: The Algebra and Geometry of Nonlinear PDEs - Student Mathematical Library (Paperback Book) [Second edition] (2023)](https://imusic.b-cdn.net/images/item/original/627/9781470472627.jpg?alex-kasman-2023-glimpses-of-soliton-theory-the-algebra-and-geometry-of-nonlinear-pdes-student-mathematical-library-paperback-book&class=scaled&v=1741190549)
