Логика на словах
курсовая работа
Введение
Целью данной работы является изучение методов исследования распознаваемых языков, основанных на монадической логике второго порядка.