edited by Imre Lakatos. -- North-Holland Pub. Co., 1967. -- (Proceedings of the International Colloquium in the Philosophy of Science, London, 1965 ; v. 1)(Studies in logic and the foundations of mathematics).