[
irem
] [
retour
] [
Maths constructives
]
Documents
Les
titres en rouge
sont des liens vers des fichiers postscript ou pdf. Les
titres en bleu
sont juste des titres. Les
bleus soulignés
sont des fichiers html directement visibles en cliquant dessus.
Homotopie et espaces fibrés.
Cours de Samuel Eilenberg.
(fichier pdf)
IHP 1967.
Algèbre approfondie.
Cours de Joel Briançon.
(fichier pdf)
Université de Nice. 1990-91.
Bravo l'artiste!
La logique de l'infini.
Henri Poincaré.
(fichier pdf)
Revue de Métaphysique et de Morale, 1909.
Réédité dans: Dernières Pensées.
Algèbres de Boole métriques complètes.
Kolmogorov.
(fichier pdf)
Traduction de la conférence prononcée en russe.
VI ZJAZD MATEMATYKÓW POLSKICH 1948.
Smith normal form for matrices over Dedekind domains.
A. Narang, N.C. Nanda.
(fichier pdf)
Journal of Indian Math Soc 42, p.173-178 (1978)
Constructive Set Theory. Draft.
Peter Aczel and Michael Rathjen.
(fichier pdf)
The constructive Hilbert program and the limits of Martin-Löf type theory.
Michael Rathjen.
(fichier pdf)
More on
home page of M. Rathjen
The Hilbert-Brouwer controversy resolved ?
Per Martin-Löf.
(fichier pdf)