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