Introduction à la logique

René David, Karim Nour, Christophe Raffalli (DNR)