Introducción a la lógica y a la metodología de las ciencias deductivas. - Tarski, Alfred (Espasa-Calpe, 1985)