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