Algebra and Logic

Book
Kahle,R;Rathjen,M
Gentzen’s Centenary: The Quest for Consistency

2015

1-561
10.1007/978-3-319-10103-3