The search for certainty a philosophical acount of foundations of mathematics - Giaquinto, Marcus (Clarendon Press, 2002)