Hacker News new | ask | show | jobs
by echion 970 days ago
It's supposed to be the introduction to rigorous proof, so it is supposed to be "the first book on [formal] mathematics" for its audience.