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: Λογική, Συμβολική και μαθηματική; Μαθηματικά > Φιλοσοφία