This book is obviously indispensable to historians of logic in the immediate wake of Goedel's 1931 incompleteness theorems. ... Saved from the Cellar is also valuable for less specialist readers (like myself ) who wish to understand the broader outlines of what proof theory has meant to several of its leading creators. (Colin McLarty, Isis, Vol. 111 (1), 2020)
The book contains translations of shorthand notes which survived in the Nachlass of the mathematical logician Gerhard Gentzen. ... The book is valuable source for the history of modern logic; the editor did an excellent work in getting the shorthand notes, first transcribed in normal German text, and then translating it to English. (Reinhard Kahle, zbMath 1414.03002, 2019)
Every general reader interested in modern logic and its history, ... may find a source of inspiration in Genzen's unpublished notes of the thirties, as well as for the philosopher concerned with epistemological aspects of modern logic. (Adrian Rezus, Studia Logica, Vol. 107, 2019)