Un amigo mío (formados en la filosofía y la historia), recientemente se ha interesado en la lógica matemática. Porque él es, efectivamente, ciego, él tiene dificultades para lidiar con el formalismo, ya que no se traducen bien intro Braille. Tenía la esperanza de que se le recomiende Chiswell y Hodge de la Lógica Matemática como un punto de entrada, pero sin alguna herramienta de traducción a Braille, esto parece bastante impenetrable para él. ¿Alguien tiene alguna experiencia de cómo lidiar con este asunto?
Agradezco cualquier sugerencia.