A formalization of set theory without variables
By: by Alfred Tarski and Steven Givant. --
Contributors: Givant, Steven R.
Series: Colloquium publications -- v. 41; Colloquium publications (American Mathematical Society) -- 41.
Publisher: American Mathematical Society
Published: 1988
Place of publication: Providence, R.I
Language: eng
Number of pages: 318
Subjects: Set theory; Symbolic and mathematical Logic
Notes: "Reprinted with corrections 1988."

Includes indexes.

Bibliography: p. 273-282.