For a very nice into to constructive math, see this[0] link as well as some good HN discussion here[1].

[0]: https://home.sandiego.edu/~shulman/papers/rabbithole.pdf [1]: https://news.ycombinator.com/item?id=18411935