Logic's lost genius : - Menzler-Trott, Eckart (History of mathematics ;, 2007)