Introducción a la Lógica : Y a la Metodología de las Ciencias Deductivas - Tarski, Alfred (1977)