This is a wide-ranging book about arguments for and against belief in God. Arguments for the existence of God analyzed in the first six chapter include ontological arguments from Anselm through Godel, the cosmological arguments of Aquinas and Leibniz, and arguments from evidence for design and miracles. Following these chapters are two chapters considering arguments against that existence. The last chapter examines Pascalian arguments for and against belief regardless of existence. There are discussions of Cantorian problems for omniscience, of challenges to divine omnipotence, and of the compatibility of everlasting complete knowledge of the world with free will. For readers with a technical background in logic there are appendices that present formal proofs in a system for quantified modal logic, a theory of possible worlds, notes on Cantorian set theory and remarks concerning nonstandard hyperreal numbers.