Oxf Handb Philosophy Math Logic Ohip C by David Shapiro & Stewart Shapiro