Hilbert's program : an essay on mathematical instrumentalism - Detlefsen, Michael, 1948- (Synthese library, 1986)