Introducción a la lógica y a la metodología de las ciencias deductivas - TARSKY, Alfred (ESPASA-CALPE, 1977)