A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Scarpellini, B.
Documents disponibles écrits par cet auteur
Affiner la recherche
Ernst Specker selecta / Scarpellini, B. ; Läuchli, Hans ; Jäger, Gerhard ; Volker Strassen
Titre : Ernst Specker selecta Type de document : texte imprimé Auteurs : Scarpellini, B. ; Läuchli, Hans ; Jäger, Gerhard ; Volker Strassen, Editeur scientifique Editeur : Birkhäuser Verlag Année de publication : 1990 ISBN/ISSN/EAN : 978-3-7643-2408-7 Langues : Anglais Mots-clés : selected works Index. décimale : O1 Oeuvres Ernst Specker selecta [texte imprimé] / Scarpellini, B. ; Läuchli, Hans ; Jäger, Gerhard ; Volker Strassen, Editeur scientifique . - [S.l.] : Birkhäuser Verlag, 1990.
ISBN : 978-3-7643-2408-7
Langues : Anglais
Mots-clés : selected works Index. décimale : O1 Oeuvres Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17326 01 SPE imprimé / autre CRDM 01//OEUVRES COMPLETES Disponible 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