Lógica simbólica y lógica aplicada a la matemática - González, Hernán