A Primer on Provability Logic Ryan Kavanagh A Primer on Provability Logic April 2012 Queen’s University MATH-481 “Mathematical Logic” term paper 10 PDF