o prezentare privind construcția logicii