Enescu, Gheorghe <br/><br/>
Logica simbolica 
Gheorghe Enescu 
 - Bucuresti  Editura stiintifica  1971