NORMAL-LOGIC-VAR


Vocabulary
logic.private

Definition