Logique formelle

Œuvre de A. De Morgan (1847), dans laquelle il élabore l'algèbre des relations.