A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Troelstra, A. S.
Documents disponibles écrits par cet auteur
Affiner la recherche
Metamathematical investigation of intuitionistic arithmetic and analysis / Troelstra, A. S.
Titre : Metamathematical investigation of intuitionistic arithmetic and analysis Type de document : texte imprimé Auteurs : Troelstra, A. S. Editeur : Springer-Verlag Année de publication : 1973 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 344 Importance : XViii-485 p. ISBN/ISSN/EAN : 978-0-387-06491-8 Langues : Anglais Mots-clés : logique Index. décimale : LNM Metamathematical investigation of intuitionistic arithmetic and analysis [texte imprimé] / Troelstra, A. S. . - [S.l.] : Springer-Verlag, 1973 . - XViii-485 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 344) .
ISBN : 978-0-387-06491-8
Langues : Anglais
Mots-clés : logique Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 6719 LNM/344 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible Principles of intuitionism / Troelstra, A. S.
Titre : Principles of intuitionism Type de document : texte imprimé Auteurs : Troelstra, A. S. Editeur : Springer-Verlag Année de publication : 1969 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 95 Importance : 111 p. Langues : Anglais Mots-clés : intuitionisme Index. décimale : LNM Principles of intuitionism [texte imprimé] / Troelstra, A. S. . - [S.l.] : Springer-Verlag, 1969 . - 111 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 95) .
Langues : Anglais
Mots-clés : intuitionisme Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7188 LNM/95 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible