References for Gerhard Gentzen

Version for printing
  1. M E Szabo, Biography in Dictionary of Scientific Biography (New York 1970-1990).
    http://www.encyclopedia.com/doc/1G2-2830901613.html

Books:

  1. M E Szabo (ed.), Collected papers of Gerhard Gentzen, Studies in Logic (Amsterdam, 1969).

Articles:

  1. A Indrzejczak, Jaskowski and Gentzen approaches to natural deduction and related systems, in The Lvov-Warsaw School and Contemporary Philosophy 1995 (Dordrecht, 1998), 253-264.
  2. P Pudlak, A foreword to the translation of G Gentzen's paper : 'The current state of research in the foundations of mathematics' (Czech), Pokroky Mat. Fyz. Astronom. 37 (5) (1992), 270-272.
  3. A R Raggio, The 50th anniversary of Gentzen's thesis, in Methods and applications of mathematical logic, Campinas, 1985 (Providence, RI, 1988), 93-97.
  4. G Robbel, Aus der Gedankenwelt des jungen Gerhard Gentzen, Humboldt Univ. Ber. 6 (12) (1986), 51-57.
  5. P Vihan, The last months of Gerhard Gentzen in Prague, Collegium logicum Vol. 1 (Vienna, 1995), 1-7.
  6. P Vihan, Gerhard Gentzen (1909-1945) (Czech), Pokroky Mat. Fyz. Astronom. 37 (5) (1992), 249-257.
JOC/EFR September 2001

The URL of this page is:
http://www-history.mcs.st-andrews.ac.uk/References/Gentzen.html