Axiomatisability problems forS-acts, rev
β
Lubna Shaheen
π
Article
π
2012
π
Springer
π
English
β 797 KB