Advances in Proof TheoryReinhard Kahle, Thomas Strahm, Thomas Studer · First published 2016Open the Tome