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