1 - Introduction pratique aux logiques classiques : avec exercices corrigésBernadet, MauriceCote : [05 BER 10]