Gentzen's Centenary: The Quest for Consistency

by ReinhardKahle (Editor), Michael Rathjen (Editor)

• New

  Paperback
  2015

  $139.92

  This work comprises articles by leading proof theorists, attesting to Gentzen's enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory.