A friend of mine (trained in philosophy and history) has recently become interested in mathematical logic. Because he is effectively blind, he has a hard time coping with formalism, as it does not translate well intro Braille. I was hoping to recommend him Chiswell and Hodge's Mathematical Logic as an entry point, but without some translation tool into Braille, this seems quite impenetrable to him. Does anybody have some experience how to deal with this issue?
I am grateful for any suggestions.