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