Boolean deductive systems of BL-algebras
β
Esko Turunen
π
Article
π
2001
π
Springer
π
English
β 53 KB