Introduction à la logique - Tarski, Alfred, 1901-1983. (Gauthier-Villars, 1971)