Matthias Baaz, Alexander Leitsch
Methods of Cut-Elimination - 2011 - Springer Netherlands 2011 - Trends in Logic .
9789400703209
Mathematics and Statistics
Methods of Cut-Elimination - 2011 - Springer Netherlands 2011 - Trends in Logic .
9789400703209
Mathematics and Statistics