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