Eckart Menzler-Trott, Gentzens Problem. Mathematische Logik im nationalsozialistischen Deutschland. Mit einem Essay von Jan von Plato. Basel/Boston/Berlin: Birkhäuser 2001
V. Peckhaus, Bulletin of Symbolic Logic 9 (2003) 508–510.