Данное пособие является элементарным введением в язык совре-менной математики и методы современной математической логики Его можно использовать совместно с обучающими программами вы-сокого уровня Рекомендуется для студентов и аспирантов специальностей: Ма-тематика Прикладная математика Структурная прикладная лин-гвистика Философия, Когнитивная психология