Mihailescu, Eugen <br/><br/>
Sisteme logice si forme normale in calculul propozitional bivalent 
de Eugen Mihailescu 
 - Bucuresti  Editura Academiei  1966 
 - 378 p  24 cm 
<br/><br/> Contine bibliogr. - Inaintea tit.: Academia R.S.R., Centrul de Logica 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logica matematica<br/>Sisteme logice<br/>Logica propozitionala<br/>Calcul propozitional<br/>Sisteme de echivalenta<br/>Problema deciderii in logica clasica
<br/><br/><label>Dewey Class. No.: </label>510.6 510.633