Title: Towards a Formalization of Thomistic Theodicy
Subjects: Theodicy, Thomas, aquinas, saint, 1225?-1274, Thomism, Formalization (Philosophy), Symbolic and mathematical Logic, Religion, Philosophy