Mathematical logic and the philosophy of god and man paperback