Proceedings of the international congress of mathematicians (1963)