Course 3463: Mathematical logic, Michaelmas 2016

Do sets exist? Talk given to Cleary memorial conference, TCD, May 2010

Corrections. Definition 11.10 has been corrected.

Turing C prog with quiz 1 questions 1, 4, 5 answers and data


Course notes
Quiz 1 answers
Quiz 2 answers
Quiz 3 answers
Quiz 4 answers
Quiz 5 answers