Recomienda este artículo a tus amigos:
Logic's Lost Genius: The Life of Gerhard Gentzen - History of Mathematics Eckart Menzler-Trott
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Eckart Menzler-Trott
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 30 de mayo de 2016 |
| ISBN13 | 9781470428129 |
| Editores | American Mathematical Society |
| Páginas | 442 |
| Dimensiones | 150 × 220 × 10 mm · 663 g (Peso (estimado)) |
![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)
