Logic, semantics, and metamathematicsby Alfred TarskiLogic, Symbolic and mathematicalSemantics (Philosophy)Symbolic and mathematical LogicWriting a summary for young readers…For young readersBook data: Open Library