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) ;; v. 41.
Publisher: American Mathematical Society
Published: 1987
Place of publication: Providence, R.I
Language: eng
Number of pages: 318
Subjects: Set theory; Logic, Symbolic and mathematical
Notes: Bibliography: p. 273-282.
Includes indexes.