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. HEYTING
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesAxiomatic projective geometry (1963) / A. HEYTING
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 (eng) Mots-clés : géométrie projective axiomatique Note de contenu : index Axiomatic projective geometry [texte imprimé] / A. HEYTING, Auteur . - Noordhoff International Publishing, 1963 . - 148 p. : ill.. - (Bibliotheca mathematica; V) .
Langues : Anglais (eng)
Mots-clés : géométrie projective axiomatique Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4052 HEY/51/2202 Livre Recherche Salle Disponible Collected works. 1 (1975) / L .E. J. BROUWER
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 (eng) Allemand (ger) 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 (eng) Allemand (ger)
Mots-clés : Brouwer philosophie des mathématiques fondement des mathématiques Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13146 BRO/01.60/4813-I Livre Recherche Salle Disponible Constructivity in mathematics (1959) / A. HEYTING
Titre : Constructivity in mathematics : Proceedings of the colloquium held at Amsterdam, 1957 Type de document : collection Auteurs : A. HEYTING, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1959 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Langues : Anglais (eng) Mots-clés : X02 Constructivity in mathematics : Proceedings of the colloquium held at Amsterdam, 1957 [collection] / A. HEYTING, Auteur . - North-Holland Publishing Company, 1959. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais (eng)
Mots-clés : X02 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5503 HEYT/02/1510 Livre Recherche Salle Disponible Les fondements des mathématiques (1955) / A. HEYTING
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 (fre) 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 . - 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 (fre)
Mots-clés : intuitionnisme théorie de la démonstration fondement des mathématiques Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5501 HEY/02/x621 Livre Recherche Salle Disponible Intuitionism (1971) / A. HEYTING
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 (eng) 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 . - 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 (eng)
Catégories : 03F55 Mots-clés : logique mathématique intuitionnisme Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5502 HEY/02/5290 Livre Recherche Salle Disponible Intuitionism (1956) / A. HEYTING
Permalink