When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
This textbook, authored by V.P. Orevkov, explores the complexity of proofs and their transformations in axiomatic theories. It is written in English and contains 153 pages. It is a valuable addition to any textbook collection for those interested in mathematics.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.