Gentzen's Centenary
Subtitle: The Quest for Consistency
Publisher: Springer London, Limited
Published: 2015
Language: eng
ISBN-13: 9783319101033
Subjects: Logic, symbolic and mathematical