Technical Methods In Philosophyde John PollockMateriasLogicSymbolic and mathematical LogicSet theoryPredicate calculusFirst-order logicMetatheoryLogique symbolique et mathématiqueThéorie des ensemblesCalcul des prédicatsLogique du premier ordre