Reading seminar on logic (Math 448, Term II 2013/2014)

Wednesday 2:30-4pm, in MATX1102.
Please note: the room will change in February; there's also a proposal to change the time to 3-4:30pm.
My office: Math 217.

References:

Main textbook: "Computabilty and logic" by G.S. Boolos, J.P. Burgess, R.C. Jeffrey.

Tentative schedule