Logique moderne - Grize, Jean-Blaise (Mathematiques et sciences de l'homme, 1971)