[Info théorique] [retour] [irem]

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.