Complexity of Proofs and Their Transformations in Axiomatic Theories
American Mathematical Society
American Mathematical Society, 1993
213,25 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780821845769
- ISBN-10
- 0821845764
- Publisher
- American Mathematical Society
- Year
- 1993
- Publication date
- 1993-10-30
- Pages
- 153
- Weight
- 510