from Hacker News

Constructive mathematics and computer programming (1979) [pdf]

by mathetic on 2/22/18, 7:07 PM with 0 comments