Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats

Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.