TY  - GEN
AU  - Mihailescu, Eugen
TI  - Sisteme logice si forme normale in calculul propozitional bivalent
U1  - 510.6 
PY  - 1966///
CY  - Bucuresti
PB  - Editura Academiei
KW  - Logica matematica
KW  - Sisteme logice
KW  - Logica propozitionala
KW  - Calcul propozitional
KW  - Sisteme de echivalenta
KW  - Problema deciderii in logica clasica
N1  - Contine bibliogr. - Inaintea tit.: Academia R.S.R., Centrul de Logica
ER  -