A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'theorie de la demonstration intuitionisme'
Affiner la recherche Générer le flux rss de la recherche
Proof theory and intuitionistic systems / Scarpellini, B.
Titre : Proof theory and intuitionistic systems Type de document : texte imprimé Auteurs : Scarpellini, B. Editeur : Springer-Verlag Année de publication : 1971 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 212 Importance : Vii-290 p. ISBN/ISSN/EAN : 978-0-387-05541-1 Langues : Anglais Mots-clés : theorie de la demonstration intuitionisme Index. décimale : LNM Proof theory and intuitionistic systems [texte imprimé] / Scarpellini, B. . - [S.l.] : Springer-Verlag, 1971 . - Vii-290 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 212) .
ISBN : 978-0-387-05541-1
Langues : Anglais
Mots-clés : theorie de la demonstration intuitionisme Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7187 LNM/212 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible