[
Info théorique
] [
retour
] [
irem
]
Liens vers la logique
Des gens
Thierry Coquand
Gilles Dowek
Ulrich Kohlenbach
Helmut Schwichtenberg
Pages thématiques
La logique et la théorie des ensembles à travers le monde
Logic and set theory around the world
La logique à Paris 7 et en France
Formalisation of Mathematics.