Зведений каталог бібліотек Києва

• Класифікатори та каталоги
• Логіка

Прикладная логика

Підтеми:

• Логика в семиотике
• Логика в анализе сознания

Документи:

• Интеллектуальные системы в целевом управлении [Текст] / И.С. Ладенко; Отв. ред. В.Н. Карпович. — Новосибирск : Наука, 1987. — 198.
• Интеллектуальные системы и логики [Текст] / отв. ред. Б. Г. Миркин; АН СССР, Сиб. отд. — Новосибирск : Наука, 1973. — 170 с.
• Комп"ютерна логіка [Текст] : навч. посібник для студентів вищих навч. закл. / Матвієнко М.П. ; М-во освіти і науки, молоді та спорту України. — Київ : Ліра-К, 2012. — 286, [2] с. : іл., табл.
• Логика и компьютер: моделирование рассуждений и проверка правильности программ [Текст] / АН СССР. — Москва : Наука, 1990. — 240 с. : ил.
• Логика и компьютер [Текст] / Г.Л. Бузук. — М. : Финансы и статистика, 1995. — 208с.