C cs.cornell.edu Constructive mathematics and computer programming (1979) [pdf] 130 points mathetic 7 years ago 22 comments
