Brown, R. and Porter, T. 2000. The Methodology of Mathematics. CUBO, A Mathematical Journal. 2, 1 (May 2000), 83–98.