Hacker News new | ask | show | jobs
Logic for Programmers Is Now Available (hillelwayne.com)
6 points by mdup 3 days ago