Logique, sémantique, métamathématique : 1923-1944... - Tarski, Alfred, 1901-1983. (A. Colin, 1972)