Oxf Handb Philos Mathematics & Logic P by David Shapiro & Stewart Shapiro