A Formalization of Set Theory without Variables

Authors:
  • ATAlfred Tarski
    Alfred Tarski
  • SGSteven Givant
    Steven Givant

Abstract
No abstract available