H Complexity of proofs and their transformations in axiomatic theories
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 36603 | 1018278 | GALERIE |
ISBN10 : 0-8218-4576-4
Type de doc : M
Ville d'édition : Providence RI
Pays d'édition : us
Langue ouvrage : eng
Langue originale : rus
Collection : Translations of mathematical monographs
N° dans la collection : 128
ISSN Collection : 0065-9282
Titre original : slozhnost' dokazatel'stv i ikh preobrazovanii v aksiomatizirovannykh teoriiakh
Bibliographie : Bibliogr. p. 151-153
Class. Math. 1991 : 03F20
Class. Library : QA9.54.07413
N° LCCCN : 93-11139
Class. Dewey : 511.3
Lien SUDOC : https://www.sudoc.fr/017054443