A formalization of set theory without variables / by Alfred Tarski and Steven Givant.

Bibliographic Details
Uniform Title:Colloquium publications (American Mathematical Society) ; v. 41.
Main Author: Tarski, Alfred, 1901-1983
Other Authors: Givant, Steven R.
Language:English
Published: Providence, R.I. : American Mathematical Society, [1987], ©1987.
Series:Colloquium publications (American Mathematical Society) ; v. 41.
Subjects:
Set theory.
Logic, Symbolic and mathematical.
Physical Description:xxi, 318 pages : illustrations ; 26 cm.
Format: Book
Description
Note:Includes indexes.
Call Number:QA1 .A5225 v.41
Bibliography Note:Bibliography: pages 273-282.
ISBN:0821810413 (alk. paper)
ISSN:0065-9258 ;