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