Problems in the philosophy of mathematics : proceedings of the International Colloquium in the Philosophy of Science, London 1965. Volume I - Lakatos, Imre, 1922-1974 (Amsterdam : North-Holland publishing company, 1967)