Introduction a la logique - Tarski, Alfred (Collection de Logique Mathématique, 16, 1969)