Titre :	Bounded arithmetic, propositional logic, and complexity theory
Type de document :	texte imprimé
Auteurs :	Jan Krajicek
Editeur :	Cambridge : Cambridge University Press
Année de publication :	1995
Collection :	Encyclopedia of Mathematics and Its Applications num. 60
Importance :	xiv, 343 p.
Format :	24 cm
ISBN/ISSN/EAN :	978-0-521-45205-2
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments
Mots-clés :	bounded arithmetic  complexity of propositional logic  independence proofs  lower bound proofs  propositional proof systems  witnessing
Index. décimale :	03C Monographie

Bounded arithmetic, propositional logic, and complexity theory [texte imprimé] / Jan Krajicek . - Cambridge : Cambridge University Press, 1995 . - xiv, 343 p. ; 24 cm. - (Encyclopedia of Mathematics and Its Applications; 60) .
ISBN : 978-0-521-45205-2
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments
Mots-clés :	bounded arithmetic  complexity of propositional logic  independence proofs  lower bound proofs  propositional proof systems  witnessing
Index. décimale :	03C Monographie