Adding Negation to Lambda Mu

From MaRDI portal
Publication:6135761