Логика классов и предикатов: анализ взаимоотношений между понятиями, кванторы, одноместные предикаты и логические операции.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.