Technical methods in philosophy - Pollock, John L. (Boulder : Westview Press, 1990)
Includes index
Keywords: Logic, Symbolic and mathematical; Set theory; Predicate calculus; First-order logic; Metatheory