sets
Michel Eytan
P.R. Halmos, "Naive set theory", D. Van Norstad ed., 100 p.
Paru dans :
n° 2, Printemps 1963
[Résumé]
Marc Barbut
Analyses bibliographiques
Books review
Paru dans :
n° 5, Hiver 1964
[Résumé]
Ernest Coumet
Les diagrammes de Venn
Paru dans :
n° 10, Printemps 1965
Michel Eytan
Axiomatique des ensembles
Paru dans :
n° 13, Hiver 1965
Roger Martin
Problèmes d'enseignement. A propos de la notion de démonstration dans l'enseignement élémentaire de la théorie des ensembles
Paru dans :
n° 20, Automne 1967
Marc Barbut
Paul R. Halmos, "Introduction à la théorie des ensembles", (Naive set theory), trad. de J. Gardelle, Paris, Mouton/Gauthier-Villars, 1967
Paru dans :
n° 21, Printemps 1968
[Résumé]
Michel Eytan
J.-L. Krivine, "Théorie aximatique des ensembles", Paris, Presses Universitaires de France, 1969
Paru dans :
n° 25, Printemps 1969
[Résumé]
Marie Besson
A propos des distances entre ensembles de parties
About distances between sets of subsets
Paru dans :
n° 42, Été 1973
Michel Eytan
Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
Smullyan tables, Hintikka set and so on: algebraic point of view
Paru dans :
n° 48, Hiver 1974
Stéphane Callens
Ensemble, mesure et probabilité selon Emile Borel
Set, measure and probability according to Borel
Paru dans :
n° 110, Été 1990
Giuseppe Longo
Cercles vicieux, mathématiques et formalisations logiques
Vicious circles, mathematics and logic
Paru dans :
n° 152, Hiver 2000
[Texte intégral]
Michel Bourdeau
La critique de la théorie des ensembles dans la dissertation de Brouwer (1907)
The criticism of set theory in Brouwer’s dissertation (1907)
Paru dans :
n° 164, Hiver 2003
[Texte intégral]
Gilles Dowek
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
Type theory and proof processing system
[Texte intégral]
Anton Setzer
Proof Theory of Martin-Löf Type Theory. An overview
La théorie de la preuve de la théorie des types de Marin-Löf
[Texte intégral]
