H home.sandiego.edu The weird and wonderful world of constructive mathematics (2017) [pdf] 166 points lainon 8 years ago 68 comments
