Logique, sémantique, métamathématique, 1923-1944by Tarski, Alfred.Logic, Symbolic and mathematicalSemantics (Philosophy)Symbolic and mathematical LogicWriting a summary for young readers…For young readersBook data: Open Library