Categorical abstract algebraic logic cat
β
George Voutsadakis
π
Article
π
2004
π
Springer
π
English
β 200 KB