Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в связи с монадической логикой.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже