Etudes logiques. Port-Royal : une logique des idées. L'avènement de la théorie sémantique de la vérité de Tarski. George Boole et l'algèbre de la logique - Miéville, Denis (My University, 1994)