A hyperintensional criterion of irrelevance

From MaRDI portal
Publication:1708862