«Logic and Theism» er en omfattende bok fra 2004 som undersøker argumenter for og imot troen på Gud. I de første seks kapitlene analyseres ulike argumenter for troen, inkludert ontologiske argumenter fra Anselm til Gödel, så vel som de kosmologiske argumentene fra Aquinas og Leibniz, og argumenter basert på evidens for design og mirakler. De følgende to kapitlene tar for seg motargumenter til troen. Det siste kapitlet fokuserer på Pascal's argumenter for og mot troen på Gud. Boken tar også for seg Cantorianske problemer knyttet til allvitenhet, utfordringer til guddommelig allmakt, samt hvordan evig og fullstendig kunnskap om verden kan harmoniseres med fri vilje. I tillegg inneholder boka vedlegg som presenterer formelle bevis i et system for kvantifisert modal logikk, teorier om mulige verdener, notater om Cantoriansk mengdelære, og betraktninger angående ikke-standard hyperreal tall. Denne boken vil være en verdifull ressurs for religionsfilosofer og teologer, og den vil også fascinere logikere og matematikere.
