Tarski, Alfred <br/><br/>
A formalization of set theory without variables 

 - Providence  American Mathematical Society  1987 
 - xxi, 318p. 
 - ( Colloquium publications) ( American Mathematical Society v.1) .
<br/><br/><label>Universal Decimal Class. No.: </label>510.23  / TAR