Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés
Logique mathématique, René Cori, Daniel Lascar
Nikto zatiaľ neohodnotil.Ohodnotiť