Bounded arithmetic, propositional logic, and complexity theory

Bounded arithmetic, propositional logic, and complexity theory

Enregistré dans:
Détails bibliographiques
Auteur principal : Krajíček Jan (Auteur)
Format : Livre
Langue : anglais
Titre complet : Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček
Publié : Cambridge [England], New York : Cambridge University Press , c1995
Description matérielle : xiv, 343 p.
Collection : Encyclopedia of mathematics and its applications
Sujets :
Proposition (logique)
Mathématiques constructives
Complexité de calcul (informatique)
Description
Bibliographie : Bibliogr. (p. 327-334) et index.
ISBN : 0-521-45205-8