Y. Gauthier présente dans la première partie de cet ouvrage une synthèse des principaux résultats des théories logiques classiques, en mettant l'accent sur la trame conceptuelle des théories exposées. Dans la seconde partie, l'auteur aborde la problématique des fondements des mathématiques sous une forme synthétique et critique.