A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur A. HEYTING |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesAxiomatic projective geometry / A. HEYTING (1963)
Titre : Axiomatic projective geometry Type de document : texte imprimé Auteurs : A. HEYTING, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1963 Collection : Bibliotheca mathematica num. V Importance : 148 p. Présentation : ill. Langues : Anglais Mots-clés : géométrie projective axiomatique Note de contenu : index Axiomatic projective geometry [texte imprimé] / A. HEYTING, Auteur . - Leyden : Noordhoff International Publishing, 1963 . - 148 p. : ill.. - (Bibliotheca mathematica; V) .
Langues : Anglais
Mots-clés : géométrie projective axiomatique Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4052 HEY/51/2202 Livre Recherche Salle Disponible
Titre : Collected works. 1 : philosphy and foundations of mathematics Type de document : texte imprimé Auteurs : L .E. J. BROUWER, Auteur ; A. HEYTING, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1975 Importance : XV-628 p. Présentation : portrait hors texte ISBN/ISSN/EAN : 978-0-7204-2076-0 Langues : Anglais Allemand Mots-clés : Brouwer philosophie des mathématiques fondement des mathématiques Note de contenu : index, bibliogr. Collected works. 1 : philosphy and foundations of mathematics [texte imprimé] / L .E. J. BROUWER, Auteur ; A. HEYTING, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1975 . - XV-628 p. : portrait hors texte.
ISBN : 978-0-7204-2076-0
Langues : Anglais Allemand
Mots-clés : Brouwer philosophie des mathématiques fondement des mathématiques Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13146 BRO/01.60/4813-I Livre Recherche Salle Disponible
Titre : Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 Type de document : texte imprimé Auteurs : A. HEYTING, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1959 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-297 p. Note générale :
"Lectures held at the International Colloquium "Constructivity in mathematics" [...] at Amsterdam from August 26 to 31, 1957. [...] organized by the Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (Netherlands Society for Logic and Philosophy of Science), and sponsored by the International Union for History and Philosophy of Science"Langues : Anglais Allemand Français Mots-clés : mathématique constructive Résumé : Cet article est le résultat d'une série de conférences que l'auteur a données à l'Université de Californie en 1998. Ces conférences ont été développées en une introduction très lisible et large à divers aspects des mathématiques constructives. Note de contenu : références Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 [texte imprimé] / A. HEYTING, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1959 . - VIII-297 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
"Lectures held at the International Colloquium "Constructivity in mathematics" [...] at Amsterdam from August 26 to 31, 1957. [...] organized by the Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (Netherlands Society for Logic and Philosophy of Science), and sponsored by the International Union for History and Philosophy of Science"
Langues : Anglais Allemand Français
Mots-clés : mathématique constructive Résumé : Cet article est le résultat d'une série de conférences que l'auteur a données à l'Université de Californie en 1998. Ces conférences ont été développées en une introduction très lisible et large à divers aspects des mathématiques constructives. Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5503 HEY/02/1510 Livre Recherche Salle Disponible
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 : 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
Permalink
