Logique mathématique Préf. de Marcel Guillaume - Pabion, Jean-François (Hermann, 1976)