я не нашла отдельно раздела мат.логика