Filosofi & religion
Complexity of Proofs and Their Transformations in Axiomatic Theories
V P Orevkov
Inbunden
2759:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
This book develops the tool of logical deduction schemata by using it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.
- Format: Inbunden
- ISBN: 9780821845769
- Språk: Engelska
- Antal sidor: 153
- Utgivningsdatum: 1994-12-01
- Förlag: American Mathematical Society