Text this: A formalization of set theory without variables / by Alfred Tarski and Steven Givant.