The Work A Formalization of Set Theory Without Variables The details The Author Alfred Tarski The offers