"Speaking of logic, Patrick Weed gave you an entertaining introduction to symbolic logic. Doing serious math or programming without knowing symbolic logic is like deciding to be a writer without knowing basic grammar. No, most writers don't get excited about grammatical details, but they sure do know them well enough to make jokes about those who don't. "