Complexity of Proofs and Their Transformations in Axiomatic Theories
V P Orevkov and 1 more
Hardback
Not Available