A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
6 résultat(s) recherche sur le mot-clé 'intuitionnisme' 
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externesLes fondements des mathématiques / A. HEYTING (1955)
Titre : Les fondements des mathématiques : intuitionnisme, théorie de la démonstration Type de document : texte imprimé Auteurs : A. HEYTING, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1955 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. 009 Importance : 91 p. Langues : Français Mots-clés : intuitionnisme théorie de la démonstration fondement des mathématiques Note de contenu : bibliogr. Les fondements des mathématiques : intuitionnisme, théorie de la démonstration [texte imprimé] / A. HEYTING, Auteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1955 . - 91 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 009) .
Langues : Français
Mots-clés : intuitionnisme théorie de la démonstration fondement des mathématiques Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5501 HEY/02/x621 Livre Recherche Salle Disponible
Titre : Applications scientifiques de la logique mathématique : Actes du 2e colloque international de logique mathématique, Paris - 25-30 août 1952, Institut Henri Poincaré Type de document : texte imprimé Editeur : Paris : Gauthier-Villars Année de publication : 1954 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. V Importance : 176 p. Langues : Français Mots-clés : logique mathématique métamathématique fondement des mathématiques intuitionnisme treillis Applications scientifiques de la logique mathématique : Actes du 2e colloque international de logique mathématique, Paris - 25-30 août 1952, Institut Henri Poincaré [texte imprimé] . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1954 . - 176 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; V) .
Langues : Français
Mots-clés : logique mathématique métamathématique fondement des mathématiques intuitionnisme treillis Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 6510 COL/02/3609 Livre Recherche Salle Disponible Fondements des mathématiques / Yvon GAUTHIER (1976)
Titre : Fondements des mathématiques Type de document : monographie Auteurs : Yvon GAUTHIER, Auteur Editeur : Montréal [Canada] : Les Presses de l'Université de Montréal Année de publication : 1976 ISBN/ISSN/EAN : 978-0-8405-0348-0 Langues : Français Mots-clés : intuitionnisme Constructivisme Fondements des mathématiques [monographie] / Yvon GAUTHIER, Auteur . - Montréal (3744, rue Jean-Brillant, local 6310, H3T 1P1, Canada) : Les Presses de l'Université de Montréal, 1976.
ISBN : 978-0-8405-0348-0
Langues : Français
Mots-clés : intuitionnisme Constructivisme Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10001 GAU/02/6857 Livre Recherche Salle Exclu du prêt
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
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
Permalink
