Gentzen's Centenary: The Quest for Consistency

Centenary

von: Reinhard Kahle · Michael Rathjen

Taschenbuch

ISBN-13: 978-3-319-10102-6

ISBN-10: 3-319-10102-1

Springer · 2015