David Pym;Lincoln Wallen
-;-
Logical frameworks
Handbook of automated reasoning
Connections in nonclassical logics