Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats - Ponasse, Daniel. (O.C.D.L. [Office Central de Librairie], 1967)