Bardzo silne, niestety nie blokujące umiejętności przyswajania wiedzy, pragnienie, by oblać piątkowy egzamin poprawkowy z logiki i tym samym zakończyć już i tak zbyt długą przygodę z informatyką.
Systemy tranzycji, struktury Kripkego, implikacje semantyczne, komu, komu?


















