Logique, Semantique, Metamathematique : 1923-1944. Tom 1 - Tarski, Alfred (Array, 1972)