Hacker News new | ask | show | jobs
by mietek 3660 days ago
You may be interested in Paul Taylor’s “Practical foundations of mathematics”.