Proceedings of the International congress of mathematicians 1954, Amsterdam, September 2 - September 9 — Congrès international des mathématiciens (12 ; 1954 ; Amsterdam)