LL Logic's lost genius: the life of Gerhard Gentzen by Menzler-Trott, Eckart, American Mathematical Society, London Mathematical Society fromHistory of mathematics 0 Type: Book