Nathan Schneider God in proof: The story of a search, from the ancients to the Internet bookGod in proof: The story of a search, from the ancients to the InternetNathan SchneiderBerkeley, 2013