Gentzen's Centenary: The Quest for Consistency

By

Reinhard Kahle(Editor),

Michael Rathjen(Editor)