variable

several notions in logic

Катэгорыі: