Colloque international de logique et philosophie des sciences. 4th Paris 1959.