Gentzens Problem: Mathematische Logik Im Nationalsozialistischen Deutschland - Eckart Menzler-Trott, Jan Von Plato - Google Books

http://books.google.de/books?id=GjKxDcKJQVMC&pg=PA200&lpg=PA200&dq=%22Ruth+Moufang%22+Nicola&source=bl&ots=HNEEmtURvm&sig=XEKTmX

Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung seiner Arbeiten zeigt sich bis heute in der Informatik und beeindruckt durch Einsicht und Eleganz. Der Autor dokumentiert in dieser ersten…