Das Buch "Complexity of Proofs and Their Transformations in Axiomatic Theories" von V. P. Orevkov beschäftigt sich mit der mathematischen Logik, insbesondere mit der Komplexität von Beweisen innerhalb axiomatischer Theorien. Der Autor...