Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18520	03C175	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Computational complexity / Christos H. Papadimitriou

Public ISBD Titre : Computational complexity Type de document : texte imprimé Auteurs : Christos H. Papadimitriou Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 1995 Importance : xv - 523 p. ISBN/ISSN/EAN : 978-0-201-53082-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation Mots-clés : np-complete problems  turing machines  complexity theory Index. décimale : 68C Monographie Computational complexity [texte imprimé] / Christos H. Papadimitriou . - Reading, MA : Addison-Wesley Publishing Company, Inc., 1995 . - xv - 523 p. ISBN : 978-0-201-53082-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notions 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation Mots-clés : np-complete problems  turing machines  complexity theory Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16260	68C279	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Metamathematics of first-order arithmetic / Hajek, Petr

Public ISBD Titre : Metamathematics of first-order arithmetic Type de document : texte imprimé Auteurs : Hajek, Petr ; Pudlak, Pavel Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 1998 Collection : Perspectives in Mathematical Logic Importance : xiv - 460 p. ISBN/ISSN/EAN : 978-3-540-63648-9 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 : consistency  interpretability  witnessing functions  provability  bounded arithmetic  model theory  indicators  conservativity  definable cuts  reflexive theories  self-reference  incompleteness  combinatorics in fragments  recursion theory  partial truth definitions  fragments of arithmetic  foundations of arithmetic of natural numbers Index. décimale : 03C Monographie Metamathematics of first-order arithmetic [texte imprimé] / Hajek, Petr ; Pudlak, Pavel  . -  2nd ed. . - [S.l.] : Springer-Verlag, 1998 . - xiv - 460 p.. - (Perspectives in Mathematical Logic) . ISBN : 978-3-540-63648-9 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 : consistency  interpretability  witnessing functions  provability  bounded arithmetic  model theory  indicators  conservativity  definable cuts  reflexive theories  self-reference  incompleteness  combinatorics in fragments  recursion theory  partial truth definitions  fragments of arithmetic  foundations of arithmetic of natural numbers Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13032	03C07	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1