2008. Paradoxes and the Theory of Logical Types. Universitas Philosophica. 25, 50 (Jun. 2008).