Logic and the nature of God - Davis S T (Michigan William BEPub, 1983)