• 

  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…

• 

  Institut für Philosophie: Forschung

  http://www.philosophie.phil.uni-erlangen.de/Forschung/Gentzen.html

  Keine Beschreibung vorhanden.

• 

  Natural Deduction: A Proof-Theoretical Study - Dag Prawitz - Google Books

  http://books.google.de/books?id=IosnAAAACAAJ

  An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics in the early 1930s, and Dag Prawitz, the…

---

---