раздел матем. логики, букв10
знаковая система, букв10
Знаковая система, формализованный язык, букв10
Раздел математической логики, специальная знаковая система, букв10