Série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités