Rata, Metodie <br/><br/>
Inexistenta algoritmilor de recunoastere a expresibilitatii sintactice in calcule logice 
Metodie Rata 
 - Pitesti  Ed. Univ. Din Pitesti  2004