Axiomatic vs Semantic Truth, 14-16 March (The Reasoner, 2012)