Mihailescu, Eugen <br/><br/>
Sisteme logice si forme normale in calculul propozitional bivalent 
Eugen Mihailescu 
 - Bucuresti  Editura Academiei RSR  1966