Author: Symposium on Foundations of Mathematics. (1959 : Warsaw).