Зведений каталог бібліотек Харкова

Быстров Петр Иванович

Документи:

Логика и компьютер: Моделирование рассуждений и проверка правильности программ [Текст] / науч. ред. Е.Д. Смирнова; АН СССР. — М. : Наука, 1990. — 238 с.