2012. Axiomatic vs Semantic Truth, 14-16 March. The Reasoner. 6, 5 (May 2012).