Home›Books›A formalization of set theory without variablesA formalization of set theory without variablesby Tarski, Alfred. · 1987No description available.Logic, Symbolic and mathematicalSet theorySymbolic and mathematical Logic