Formalizing falsification: Three delete operations

From MaRDI portal
Publication:5753921