A formalization of set theory without variables

图书

类似书籍