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