TY - BOOK AU - Pollock,John L. TI - Technical methods in philosophy SN - 0813378710 : U1 - 164 PY - 1990/// CY - Boulder PB - Westview Press KW - Logic, Symbolic and mathematical KW - Set theory KW - Predicate calculus KW - First-order logic KW - Metatheory N1 - Includes index ER -