Author: Symposium on Foundations of Mathematics (1959 Warsaw, Poland)