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) by Jan von Plato
English | 30 Apr. 2017 | ISBN: 3319421190 | 328 Pages | PDF | 3.44 MB
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.