Manyebook
Michael Hand
Logic Primer