Eléments de Logique classique

La logique classique, née avec Aristote et considérablement enrichie au Moyen Age, constitua pendant plus de vingt siècles l'instrument par excellence de toute science, la propédeutique de tout savoir. Sous sa forme moderne, aussi appelée "algèbre de la pensée", elle est au coeur des sciences mathématiques et informatiques. L'ouvrage en étudie les aspects historiques et philosophiques, et propose aussi bien des exercices aux lecteurs novices, que des références techniques aux plus érudits.