Mathematical logic and foundations of set theory : proceedings of an international colloquium held under the auspices of the Israel academy of science and humanities, Jerusalem, 11-14 November 1968