Predicate Logicby Richard L EpsteinLogic, symbolic and mathematicalSemanticsWriting a summary for young readers…For young readersBook data: Open Library