edited by Imre Lakatos. -- North Holland Pub. Co., 1968. -- (Studies in logic and the foundations of mathematics . Proceedings of the International Colloquim in the Philosophy of Science, London, 1965 ; Vol. 2).