A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur A. S. TROELSTRA
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesConstructivism in mathematics : an introduction. Volume I (Cop. 1988) / A. S. TROELSTRA
Titre : Constructivism in mathematics : an introduction. Volume I Type de document : texte imprimé Auteurs : A. S. TROELSTRA, Auteur ; D. van DALEN, Auteur Editeur : Amsterdam : Elsevier Année de publication : Cop. 1988 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X num. 121 Importance : XX-342-XIV p. ISBN/ISSN/EAN : 978-0-444-70266-1 Langues : Anglais (eng) Mots-clés : mathématiques constructives logique mathématique constructivisme Constructivism in mathematics : an introduction. Volume I [texte imprimé] / A. S. TROELSTRA, Auteur ; D. van DALEN, Auteur . - Elsevier, Cop. 1988 . - XX-342-XIV p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X; 121) .
ISBN : 978-0-444-70266-1
Langues : Anglais (eng)
Mots-clés : mathématiques constructives logique mathématique constructivisme Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22722 TRO/02/10918-I Livre Recherche Salle Disponible Constructivism in mathematics : an introduction. Volume II (Cop. 1988) / A. S. TROELSTRA
Titre : Constructivism in mathematics : an introduction. Volume II Type de document : texte imprimé Auteurs : A. S. TROELSTRA, Auteur ; D. van DALEN, Auteur Editeur : Amsterdam : Elsevier Année de publication : Cop. 1988 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X num. 123 Importance : XVIIp. + pp. 345-879 + XIV p. ISBN/ISSN/EAN : 978-0-444-70358-3 Langues : Anglais (eng) Mots-clés : mathématiques constructives logique mathématique constructivisme Note de contenu : index, bibliogr. Constructivism in mathematics : an introduction. Volume II [texte imprimé] / A. S. TROELSTRA, Auteur ; D. van DALEN, Auteur . - Elsevier, Cop. 1988 . - XVIIp. + pp. 345-879 + XIV p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X; 123) .
ISBN : 978-0-444-70358-3
Langues : Anglais (eng)
Mots-clés : mathématiques constructives logique mathématique constructivisme Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22723 TRO/02/10918-II Livre Recherche Salle Disponible Metamathematical investigation of intuitionistic arithmetic and analysis (1973) / A. S. TROELSTRA
Titre : Metamathematical investigation of intuitionistic arithmetic and analysis Type de document : monographie Auteurs : A. S. TROELSTRA, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1973 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 344 ISBN/ISSN/EAN : 978-3-540-06491-6 Langues : Anglais (eng) Catégories : 02C15
02D05
02D99
02H10Mots-clés : logique Metamathematical investigation of intuitionistic arithmetic and analysis [monographie] / A. S. TROELSTRA, Auteur . - Springer-Verlag, 1973. - (Lecture Note in Mathematics, ISSN 0075-8434; 344) .
ISBN : 978-3-540-06491-6
Langues : Anglais (eng)
Catégories : 02C15
02D05
02D99
02H10Mots-clés : logique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3471 LN 344 Livre Recherche Salle Disponible Principles of intuitionism (1969) / A. S. TROELSTRA
Titre : Principles of intuitionism : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. Type de document : monographie Auteurs : A. S. TROELSTRA, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1969 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 95 Note générale : Bibliogr. Langues : Anglais (eng) Mots-clés : intuitionnisme Principles of intuitionism : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. [monographie] / A. S. TROELSTRA, Auteur . - Springer-Verlag, 1969. - (Lecture Note in Mathematics, ISSN 0075-8434; 95) .
Bibliogr.
Langues : Anglais (eng)
Mots-clés : intuitionnisme Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4497 LN 95 Livre Recherche Salle Disponible