Predicate logicby Richard L. EpsteinSymbolic and mathematical LogicPredicate (Logic)LogicLogic, Symbolic and mathematicalSemanticsWriting a summary for young readers…For young readersBook data: Open Library