Теория Алгоритмов.
Правила работы с секвенциями, методы их доказательств.
Секвенции. Алгоритм решения, доказательства.
Правила для доказания секвенций
