Logic, semantics, metamathematicsby Tarski, Alfred.Symbolic and mathematical LogicSemantics (Philosophy)Writing a summary for young readers…For young readersBook data: Open Library