Proceedings of the International congress of mathematicians, 14-21 August 1958 — Congrès international des mathématiciens (13 ; 1958 ; Edimbourg, GB)