Calcul des prédicats : langage, déductions, interprétation, formes prénexes et
forme de. Skolem. Mode d'évaluation : Continu et Examen. Références(Livres et
polycopiés, sites internet, etc.) : - Stephen G. Simpson, « Mathematical Logic »,
Lecture Notes, Department of. Mathematics, The Pennsylvania State University,
USA, ... 
