Логические системы в различных функциональных наборах и их реализация
Информатика, программирование