Complexity of Proofs and Their Transformations in Axiomatic Theories
Download or Read eBook Complexity of Proofs and Their Transformations in Axiomatic Theories PDF 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.
| Author | : V. P. Orevkov |
| Publisher | : American Mathematical Soc. |
| Total Pages | : 168 |
| Release | : |
| ISBN-10 | : 0821897497 |
| ISBN-13 | : 9780821897492 |
| Rating | : 4/5 (97 Downloads) |
Book Synopsis Complexity of Proofs and Their Transformations in Axiomatic Theories by : V. P. Orevkov
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.
