Constructive mathematics and computer programming (1979) [pdf] #1 Post by ayberkt » Fri, Jan 29, 2016, 8:34 PM UTC Constructive mathematics and computer programming (1979) [pdf]cs.tufts.edu