Математическая логика в программировании : сборник статей / ред. пер. с англ. Захарьящев М. В., Янов Ю. И. - М. : Мир, 1991. - 407 с. - (Математическое обеспечение ЭВМ). - Библиогр. в конце статей. - ISBN 5-03-001635-X.
Используя сайт Библиотеки МГТУ им. Н. Э. Баумана,
Вы соглашаетесь с использованием файлов cookie и сервисов сбора и анализа статистики посещений
для обеспечения работоспособности сайта и улучшения качества обслуживания.
Подробнее о файлах cookie.