Foundations of mathematics

Le site d'Alexander Sakharov "Foundation of mathematics" réunit un certain nombre de textes introductifs à différentes branches et problèmes classiques de la logique et des fondements des mathématiques (Programme de Hilbert, théories des ensembles, axiomatisation, paradoxes, logique classique, intuitionniste, d'ordre superieur, modale, déduction naturelle, calcul des séquents, théorie des modèles, calculabilité, théorie des catégories...)