'If A and B Then A'

From MaRDI portal
Publication:4497714