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