Gilbert Hottois, Penser la logique. Une introduction technique, théorique et philosophique à la logique formelle, Bruxelles, De Boeck-Wesmael s.a. (c1989), 2e tirage 1990, vii-273 pages. - Tournier, François (Philosophiques, 1994)