Report - LISTE DES ENSEIGNEMENTS 2016-2017 · Calcul des prédicats : langages du premier ordre, termes, formules, modèles ; ... conduisant à ce qu'on peut aujourd'hui appeler la «logique

Please pass captcha verification before submit form