Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Orevkov, Vladimir Pavlovič (1940-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Complexity of proofs and their transformations in axiomatic theories [Texte imprimé] / V. P. Orevkov ; [transl. by Alexander Bochman ; transl. ed. by David Louvish]

Traduction de : Slozhnost' dokazatel' ikh preobrazovaniĭ v aksiomatizirovannykh teoriiakh

Publication : Providence : American mathematical society, cop. 1993

Description matérielle : VI-153 p. ; 27 cm

Collection : Translations of mathematical monographs ; 128

Lien à la collection : Translations of mathematical monographs  Voir toutes les notices liées

Note(s) : Bibliogr. p. 151-153. Index

Autre(s) auteur(s) : Bochman, Alexander. Traducteur  Voir les notices liées en tant qu'auteur
Louvish, David (1937-2010). Éditeur scientifique. Traducteur  Voir les notices liées en tant qu'auteur

Sujet(s) : Théorie de la démonstration  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.36 (23e éd.) = Théorie de la preuve et mathématiques constructives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-8218-4576-4

Identifiant de la notice  : ark:/12148/cb37423645s

Notice n° :  FRBNF37423645