Having made the plunge and ordered Knuth’s third edition, what should I do with the volumes I bought twenty-odd years ago?
No comments yet.
RSS feed for comments on this post.
Having made the plunge and ordered Knuth’s third edition, what should I do with the volumes I bought twenty-odd years ago?
No comments yet.
RSS feed for comments on this post.