Complexity of proofs and their transformations in axiomatic theories
Auteur :
American Mathematical Society
Éditeur :
American Mathematical Society
ISBN :
9780821845769
Date de publication :
30 oct. 1993
Poids :
510 g
Langue :
Anglais
Pays d'origine :
USA
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.