Title: Technical methods in philosophy
Subjects: Set theory, Metatheory, Predicate calculus, Symbolic and mathematical Logic, First-order logic, Logic, symbolic and mathematical, Calculus