Complexity of Proofs and Their Transformations in Axiomatic Theories
1993 · ENGLISH · PDF
View detailsBooks by author
V. P. Orevkov
Complexity of Proofs and Their Transformations in Axiomatic Theories
1993 · ENGLISH · DJVU
View details