Algebra and Logic

Book Chapter
Kahle,R
Gentzen’s Centenary: The Quest for Consistency

2015

45352
10.1007/978-3-319-10103-3_1