Прикладная логика информатики - Козачков Л.С (Наук. думка, 1990)