Introducción a la lógica y a la metodología de las ciencias deductivas - Tarski, Alfred (Nueva Ciencia, Nueva Técnica, 1951)