m
     
MathOuvrage

H 0 Complexity of proofs and their transformations in axiomatic theories

Orevkov, V.P. ; Bochman, Alexander (Trad.) ; Louvish, David (Ed.)

American mathematical Society

1993

vi, 153 p. ; 26 cm

36603

théorie de la preuve ; déduction ; forme normale


Exemplaires

Nbre d'exemplaires : 1
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

Z