Title: Quantifiers : Logics, Models and Computation : Volume One
Subjects: Logic, symbolic and mathematical