Logique, Semantique, Metamathematique : 1923-1944. Tom 2 - Tarski, Alfred (Array, 1974)