Portail des médiathèques du réseau Paris-Saclay

Présente la logique comme une discipline à part entière. Longtemps du ressort des philosophes, elle a aujourd'hui pris sa place au sein des mathématiques. Ce livre explique comment lire des énoncés logiques, comment leur donner un sens et enfin comment les utiliser dans le cadre de preuves ou de démonstrations.