Complexity of proofs and their transformations in axiometic theories - Orevkov V P (Providence AMS, 1993)
Keywords: Axiometic theory; Mathematics