×
  • A formalization of set theory without variables

    Alfred Tarski and Steven Givant

Click on cover to enlarge.
7 - 8Hours to read