久し振りに某blogを拝読させていただいていると、次の文献が出るとの話である。注文しておく。 Eckart Menzler-Trott Logic's Lost Genius: The Life of Gerhard Gentzen, American Mathematical Society, due in December 16, 2007 Gerhard Gentzen (1909-1…