Gentzen's Centenary
Subtitle: The Quest for Consistency
Publisher: Springer International Publishing AG
Published: 2015
Language: eng
ISBN-13: 9783319101026
Subjects: Proof theory