TEORIA SISTEMELOR LOGICE , METALOGICA de GH. ENESCU , BUCURESTI 1976