Козачков, Лев Семенович Прикладная логика информатики / Л.С. Козачков; АН УССР. Ин-т кибернетики им. В.М. Глушкова. - Киев : Наук. думка, 1990. - 253 с. : ил. Библиогр.: с. 249-252 ISBN: 5-12-001195-0 Subjects--Index Terms: Информатика - Логические основы