ELEMENTE DE LOGICA MATEMATICA , LOGICA PROPOZITIILRO BIVALENTE , VOLUMUL I de MIRCEA TIRNOVEANU , 1964