ISBN 0821845764 books & textbook
Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)
American Mathematical Society /1993-10-01 Hardcover / 153 Pages
isbn-10: 0821845764 / isbn-13: 9780821845769
