Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)

by V. P. Orevkov Hardcover details (USA). ISBN: 978-0-8218-4576-9 ISBN-10: 0-8218-4576-4 American Mathematical Society · 1993