A formalization of a nominalistic set th
โ
C. Chihara; Y. Lin; T. Schaffter
๐
Article
๐
1975
๐
Springer Netherlands
๐
English
โ 717 KB