Leitsch, Alexander.
Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz. - Dordrecht : Springer Netherlands, 2011. - digital. - Trends in Logic ; 34 . - Trends in Logic ; 34 .
9789400703209
10.1007/978-94-007-0320-9 doi
Mathematics.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
QA8.9-10.3
511.3
Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz. - Dordrecht : Springer Netherlands, 2011. - digital. - Trends in Logic ; 34 . - Trends in Logic ; 34 .
9789400703209
10.1007/978-94-007-0320-9 doi
Mathematics.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
QA8.9-10.3
511.3