Edward NieznaƄski, World models in formalized systems of theodicy , Studia Philosophiae Christianae, 2011, 47, 1, s. 89-96