Mathematical Logic and Foundations of Set Theory: Colloquium Proceedings, Jerusalem, 1968