Hacker News Reader

i thought the little typer does also a great job in getting you into thinking about type theory.

The Reasoned Schemer does an excellent job in getting you to understand Logic Programming