hillelwayne.com
A Crash Course in Predicate Logic
I started writing Logic for Programmers because there weren’t any good resources on logic for, uh, programmers. Now that the book’s out, the new problem is that there aren’t any good free resources on...