H Bounded arithmetic, propositional logic, and complexity theory
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 37208 | 1007047 | REFEN 01 060 |
ISBN10 : 0-521-45205-8
Type de doc : M
Ville d'édition : Cambridge
Pays d'édition : gb
Langue ouvrage : eng
Collection : Encyclopedia of mathematics and its applications
N° dans la collection : 060
ISSN Collection : 0953-4806
Bibliographie : Bibliogr. p. 327-334
Class. Math. 1991 : 03Fxx
Class. Library : QA9.56.K73
N° LCCCN : 94-47054
Class. Dewey : 511.3
Lien SUDOC : https://www.sudoc.fr/032131615