Dual Intuitionistic Logic and a Variety
β
Yaroslav Shramko
π
Article
π
2005
π
Springer Netherlands
π
English
β 226 KB