« Cayenne and Agda | Main | LaTeX for logicians »
September 06, 2005
Computable Analysis
While I knew of CCA Net a while back, I had not run across their books page, which contains links to quite a lot of interesting books that I really ought to buy.
Posted by Carette at September 6, 2005 10:18 PM