algèbre de Boole
- 2016 L’essentiel de l’informatique en prépa.
Auteur : Barrault Frantz
- 2004 DERIVE version 6.
Auteurs : Rich Albert ; Shelby Theresa
- 2003 Mathématiques générales.
Auteur : Rovira Patrice
- 2003 Sciences Sup. Logique mathématique. V. 1.
Auteurs : Cori René ; Lascar Daniel
- 2002 L’intelligence et le calcul.
Auteur : Delahaye Jean-Paul
- 2002 Eléments de mathématiques discrètes.
Auteur : Frécon Louis
- 1993 Logique mathématique. T. 1.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.