Logique, semantique, metamathematique 1923-1944 - Tarski, Alfred (Armand Colin, 1972)