Логические подсистемы: Теория и Практика