Math 220J -- Winter 2007 -- Logic, Sets, and Relations