A formalization of set theory without variables
Tarski, Alfred
A formalization of set theory without variables - Providence American Mathematical Society 1987 - xxi, 318p. - ( Colloquium publications) ( American Mathematical Society v.1) .
510.23 / TAR
A formalization of set theory without variables - Providence American Mathematical Society 1987 - xxi, 318p. - ( Colloquium publications) ( American Mathematical Society v.1) .
510.23 / TAR