Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

Part I: A Sketch of Gentzen's Life and Work.- 1. Overture.- 2. Gentzen's years of study.- Dr. Gentzen's arduous years in Nazi Germany.- 4. The scientific accomplishments.- 5. Loose ends.- 6. Gentzen's genuis.- Part II: Overview of the Shorthand Notes.- 1. Gentzen's series of stenographic manuscripts.- 2. The items in this collection.- Practical remarks on the manuscripts.- Manuscript illustrations.- The German alphabet in Latin, Sutterlin, and Fraktur Type.- Bibliography for parts I and II.- Index of names for Parts I and II.- Part III: The Original Writings.- 1. Reduction of number-theoretic problems to predicate logic.- 2. Replacement of functions by predicates.- 3. The formation of abstract concepts.- 4. Five different forms of natural calculi.- 5. Formal conception of correctness in arithmetic I.- 6. Investigations into logical inferences.- 7. Reduction of classical to intuitionistic logic.- 8. CV of the candidate Gerhard Gentzen.-0 9. Letters to Heyting.- 10. Formal conception of correctness in arithmetic II.- 11. Proof theory of number theory.- 12. Consistency of artihmetic, for publication.- 13. Correspondence with Paul Bernays.- 14. Forms of type theory.- 15. Predicate logic.- 16. Propositional logic.- 17. Foundational research in mathematics.- Table of cross-references in the Gentzen papers.- Index of names in the Gentzen papers.- Index of subjects in the Gentzen papers.