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.


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

Note: this was the plan in the beginning of the term;more was actually done, but this page was not updated.

Tentative schedule