Tarski, Alfred,  1901-1983. <br/><br/>
A formalization of set theory without variables/ 
by Alfred Tarski and Steven Givant. 
 - Providence, R.I.:  American Mathematical Society,  c1987. 
 - xxi, 318 p.:  ill.;  26 cm. 
 - Colloquium publications,  v. 41. .
 - Colloquium publications (American Mathematical Society),  v. 41. .
<br/><br/> Includes indexes. 
<br/><br/>Bibliography: p. 273-282. 
<br/><br/><label>ISBN: </label>0821810413 (alk. paper) 
<br/><br/><label>LCCN: </label>86022168 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Set theory.<br/>Logic, Symbolic and mathematical.<br/>Teoria dos Conjuntos
<br/><br/><label>Dewey Class. No.: </label>511.322  / T193f