A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
Affiner la recherche Interroger des sources externes
Constructive mathematics / F. RICHMAN (1981)
Titre : Constructive mathematics : Proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, august 11-15, 1980 Type de document : séminaire Auteurs : F. RICHMAN, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1981 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 873 Importance : VII-347 p. ISBN/ISSN/EAN : 978-3-540-10850-4 Langues : Anglais Catégories : 03F50
03F55
03F65Mots-clés : mathématique constructive mathématique intuitionniste Note de contenu : références Constructive mathematics : Proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, august 11-15, 1980 [séminaire] / F. RICHMAN, Auteur . - Berlin : Springer-Verlag, 1981 . - VII-347 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 873) .
ISBN : 978-3-540-10850-4
Langues : Anglais
Catégories : 03F50
03F55
03F65Mots-clés : mathématique constructive mathématique intuitionniste Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5285 LN 873 Livre Recherche Salle Disponible Intuitionism / A. HEYTING (1971)
Titre : Intuitionism : an introduction Type de document : texte imprimé Auteurs : A. HEYTING, Auteur Mention d'édition : 3e éd. révisée Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1971 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-145 p. ISBN/ISSN/EAN : 978-0-7204-2239-9 Langues : Anglais Catégories : 03F55 Mots-clés : logique mathématique intuitionnisme Note de contenu : index, bibliogr. Intuitionism : an introduction [texte imprimé] / A. HEYTING, Auteur . - 3e éd. révisée . - Amsterdam : North-Holland Publishing Company, 1971 . - VIII-145 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
ISBN : 978-0-7204-2239-9
Langues : Anglais
Catégories : 03F55 Mots-clés : logique mathématique intuitionnisme Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5502 HEY/02/5290 Livre Recherche Salle Disponible Intuitionism / A. HEYTING (1956)
Titre : Intuitionism : an introduction Type de document : texte imprimé Auteurs : A. HEYTING, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1956 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-132 p. ISBN/ISSN/EAN : 978-0-7204-2239-9 Langues : Anglais Catégories : 03F55 Mots-clés : logique mathématique intuitionnisme Note de contenu : index, glossaire, bibliogr. Intuitionism : an introduction [texte imprimé] / A. HEYTING, Auteur . - Amsterdam : North-Holland Publishing Company, 1956 . - VIII-132 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
ISBN : 978-0-7204-2239-9
Langues : Anglais
Catégories : 03F55 Mots-clés : logique mathématique intuitionnisme Note de contenu : index, glossaire, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 656 HEY/02/1545 Livre Recherche Salle Disponible