Nantilus
Bounded arithmetic, propositional logic, and complexity theory
Enregistré dans:
| Auteur principal : | |
|---|---|
| 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 : |
Chargement en cours