Logic's Lost Genius: The Life of Gerhard Gentzen - Eckart Menzler-Trott - Google Books

http://books.google.de/books?id=iXWGKlLTkqoC&pg=PA95&lpg=PA95&dq=Glivenko+Kiev&source=web&ots=vljj7rESRK&sig=BMtpXnlEmTnwiIiDxYj

Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called ''proof theory'' but also in verification programs that are essential…