3Constructive mathematics and computer programming (1979) [pdf] (opens in new tab)(cs.cornell.edu)130mathetic6y ago22
4Constructive mathematics and computer programming (1979) [pdf] (opens in new tab)(cs.cornell.edu)2mathetic8y ago0