Axiomatic vs Semantic Truth, 14-16 March. The Reasoner, v. 6, n. 5, 1 May2012.