Linked bibliography for the SEP article " The Development of Proof Theory" by Jan von Plato

This is an automatically generated and experimental page

If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.

This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.

Introductions to proof theory:

Original papers (in order of first publication):

Hilbert: The central papers are found in English translation in Van Heijenoort's From Frege to Gödel, Harvard 1967. Consult, for the influence on Gentzen, also:

Skolem: The papers in logic are found in Selected Works in Logic, ed. Fenstad 1970. Therein, pp. 103–136:

Gentzen: The published papers can be found in English translation in The Collected Papers of Gerhard Gentzen ed. Szabo, 1969. The proof of normalization is in:

Other original material from Gentzen cited or referred to above is from the biography Logic's Lost Genius: The Life and Work of Gerhard Gentzen, by Eckart Menzler-Trott, American Mathematical Society 2007.

Secondary literature:

Generated Mon Aug 25 21:21:02 2014