×
  • Complexity of Proofs and Their Transformations in Axiomatic Theories

    V. P. Orevkov

Click on cover to enlarge.
3 - 4Hours to read