SISTEME LOGICE SI FORME NORMALE IN CALCULUL PROPORTIONAL BIVALENT de EUGEN MIHAILESCU , 1966