A formalization of set theory without variables

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Tarski, Alfred
Άλλοι συγγραφείς: Givant, Steven R.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Providence American Mathematical Society 1987
Σειρά:American Mathematical Society : Colloquium Publications 41
Θέματα:
Περιγραφή
Φυσική περιγραφή:xxi, 318 p. 24 cm.
Βιβλιογραφία:Includes index of subjects and index of numbered items
ISBN:0821810413