Title: Sisteme logice și forme normale în calculul propozițional bivalent
First published: 1966
Subjects: Propositional calculus
LC classification: QA9.3 .M53