logic-pred


Vocabulary
logic.private

Definition