LOGICA MATEMATICA , ELEMENTE DE CALCUL CU PROPOZITII SI PREDICATE de EUGEN MIHAILESCU , 1969