I just watched the talk "five stages of accepting constructive mathematics". I am very interested to learn constructive mathematics but have zero knowledge of constructive mathewmatics/logic. I would like to read a book (or books ?) that begins by listing the rules of the intuitionist formal proof system, then maybe move on to doing analysis followed by some Topology maybe.
I know bishop's book seems to be a standard reference, but I don't know if it has any prerequisites (say like reading the formal proof system of intuitionism ). I also don't know if it is outdated now.
Thank you,