Daniel Lascar Volgorde van de boeken

Logique mathématique

Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés