Produkt mají v nabídce:
Complexity of Proofs and Their Transformations in Axiomatic Theories
Intends to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.
