A formalization of set theory without variables

Alfred Tarski and Steven Givant
American Mathematical Society
9780821810415
0-8218-1041-3