Constructive mathematics and computer programming (1979) [pdf] #1 Post by mathetic » Thu, Feb 22, 2018, 7:07 PM UTC Constructive mathematics and computer programming (1979) [pdf]cs.cornell.edu