Menzler-Trott, Eckart  <br/><br/>
Logic's lost genius: the life of Gerhard Gentzen 

 - Rhode island:  American Mathematical Society,  2007. 
 - xxii, 440 p.: ill.;  pb;  26 cm. 
 - History of mathematics ; v. 33. .
<br/><br/>Includes bibliographical references and index.<br/>Translated from the German. 
<br/><br/> 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. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today." "The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. 
<br/><br/><label>ISBN: </label>9781470428129 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics<br/>German Logic<br/>Mathematical logic<br/>Symbolic
<br/><br/><label>Dewey Class. No.: </label>510.92  / MEN