Matthias Baaz, Alexander Leitsch

Methods of Cut-Elimination - 2011 - Springer Netherlands 2011 - Trends in Logic .

9789400703209


Mathematics and Statistics