Download or read book Complexity of Proofs and Their Transformations in Axiomatic Theories written by V. P. Orevkov and published by American Mathematical Soc.. This book was released on with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book develops the tool of logical deduction schemata by using it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.