Completeness of the first-order logic of partial quasiary predicates with the complement composition

From MaRDI portal