Mathematics without numbers towards a modal-structural interpretation - Hellman, Geoffrey (Clarendon Press, 1989)