Tell your friends about this item:
Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics - Sources and Studies in the History of Mathematics and Physical Sciences 1st ed. 2017 edition
Jan Von Plato
Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics - Sources and Studies in the History of Mathematics and Physical Sciences 1st ed. 2017 edition
Jan Von Plato
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.
358 pages, 9 black & white illustrations, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | April 7, 2017 |
ISBN13 | 9783319421193 |
Publishers | Springer International Publishing AG |
Pages | 315 |
Dimensions | 155 × 235 × 19 mm · 680 g |
Language | German |