A formalization of set theory without variables

• Main Author: Tarski, Alfred
• Other Authors: Givant, Steven R.
• Format: Book
• Language: English
• Published: Providence American Mathematical Society 1987
• Series: American Mathematical Society : Colloquium Publications 41
• Subjects: Λογική, Συμβολική και μαθηματική; Μαθηματικά > Φιλοσοφία
• Physical Description: xxi, 318 p. 24 cm.
• Bibliography: Includes index of subjects and index of numbered items
• ISBN: 0821810413