Title: Logic: theory and practice
Subjects: Predicate calculus, Proposition (Logic), Set theory, Symbolic and mathematical Logic