Intensional logic

approach to predicate logic

Катэгорыі: