A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur D. van DALEN |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Brouwer's Cambridge lectures on intuitionism / Luitzen Egbertus Jan BROUWER (Cop. 1981)
Titre : Brouwer's Cambridge lectures on intuitionism Type de document : texte imprimé Auteurs : Luitzen Egbertus Jan BROUWER, Auteur ; D. van DALEN, Editeur scientifique Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1981 Importance : XII-109 p. Langues : Anglais Mots-clés : mathématique intuitionniste Note de contenu : index, références Brouwer's Cambridge lectures on intuitionism [texte imprimé] / Luitzen Egbertus Jan BROUWER, Auteur ; D. van DALEN, Editeur scientifique . - Cambridge : Cambridge University Press, Cop. 1981 . - XII-109 p.
Langues : Anglais
Mots-clés : mathématique intuitionniste Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5558 DAL/02/5688 Livre Recherche Salle Disponible Constructivism in mathematics : an introduction. Volume I / A. S. TROELSTRA (Cop. 1988)
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 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 . - Amsterdam : 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
Mots-clés : mathématiques constructives logique mathématique constructivisme Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22722 TRO/02/10918-I Livre Recherche Salle Disponible Constructivism in mathematics : an introduction. Volume II / A. S. TROELSTRA (Cop. 1988)
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 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 . - Amsterdam : 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
Mots-clés : mathématiques constructives logique mathématique constructivisme Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22723 TRO/02/10918-II Livre Recherche Salle Disponible