I stumbled on this the other day, and was looking at the top answer. I'd never heard of computable analysis before, but I'm now curious to hear more about it. I've been working on Bishop\Bridge's Constructive Analysis, but would really appreciate any book recommendations on computable.
Thanks.