Hilbert's program : an essay on mathematical instrumentalism / - Detlefsen, Michael (D. Reidel, 1986)