ISBN 9400734972 books & textbook

Methods of Cut-Elimination (Trends in Logic, 34)

Baaz, Matthias Leitsch, Alexander

Springer /2013-02-25 Paperback / 296 Pages
isbn-10: 9400734972 / isbn-13: 9789400734975