The Oxford handbook of philosophy of mathematics and logic - Shapiro, Stewart, (Oxford handbooks in philosophy, 2005)