Logic's Lost Genius The Life of Gerhard Gentzen - Menzler Trott Eckart (America ams, 2007)