Cours et TD de logique du premier semestre de la Licence 2e année (S3 du diplôme de licence)