Logic and the nature of God. - Davis Stephen T (1983)