Problems in the philosophy of mathematics : proceedings of the International Colloquium in the Philosophy of Science, London 1965. - Lakatos, Imre, 1922-1974 (Studies in logic and the foundations of mathematics, 1967)