TY - BOOK ED - Symposium on foundation of mathematics (1959 : Warsaw) TI - Proceedings on infinitistic methods U1 - B31p1:N59, K1 PY - 1961/// KW - Set theory ER -