Translation, reduction and equivalenceby David A. PearcePhilosophyScienceSemantics (Philosophy)Symbolic and mathematical LogicWriting a summary for young readers…For young readersBook data: Open Library