Title: Model-Theoretic Logics
Subjects: Logic, symbolic and mathematical