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

Auteur(s) : Dragalin, Alʹbert Grigorʹevič  Voir les notices liées en tant qu'auteur

Titre(s) : Mathematical intuitionism [Texte imprimé] : introduction to proof theory / A. G. Dragalin ; [transl. from the Russian by E. Mendelson] ; [transl. ed. by Ben Silver]

Traduction de : Matematičeskij intuicionizm : vvedenie v teoriû dokazatelʹstv

Publication : Providence (R.I.) : American mathematical society, cop. 1988

Description matérielle : IX-228 p. : graph. ; 24 cm

Collection : Translations of mathematical monographs ; 67

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

Note(s) : Bibliogr. p. 201-216. Index

Autre(s) auteur(s) : Mendelson, Elliott (1931-....). Traducteur  Voir les notices liées en tant qu'auteur
Silver, Ben. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Logique intuitionniste  Voir les notices liées en tant que sujet
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-4520-9

Identifiant de la notice  : ark:/12148/cb37355279x

Notice n° :  FRBNF37355279