Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Scarpellini, Bruno (1932-2019)  Voir les notices liées en tant qu'auteur

Titre(s) : Proof theory and intuitionistic systems [Texte électronique] / Bruno Scarpellini

Publication : Berlin : Springer-Verlag, 1971

Description matérielle : 1 online resource (vii, 290, [1] p.)

Collection : Lecture notes in mathematics ; 212

Note(s) : Bibliogr.: p. [1]

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

Identifiants, prix et caractéristiques : ISBN 9783540368755

Identifiant de la notice  : ark:/12148/cb44687713p

Notice n° :  FRBNF44687713 (notice reprise d'un réservoir extérieur)