TY  - BOOK
AU  - Mihailescu, Eugen
TI  - Sisteme logice si forme normale in calculul propozitional bivalent
PY  - 1966///
CY  - Bucuresti
PB  - Editura Academiei RSR
ER  -