W kierunku formalizacji tomistycznej teodycei - Bocheński, Joseph M. (Miscellanea logica)