Second-order abstraction before and after Russell's paradox

From MaRDI portal
Publication:5116965