Lakatos' philosophy of mathematics : a historical approach - Koetsier, T. (Studies in the history and philosophy of mathematics, 1991)