LOGICA SIMBOLICA de GHEORGHE ENESCU , 1971