Un ouvrage à destination des étudiants en mathématiques, philosophie, informatique ou sciences qui souhaitent approfondir ses connaissances en logique. Avec des exercices à difficulté variable.