Математическая логика в программировании :  Сборник статей : Пер. с англ. / 
Под ред. М.В. Захарьящева, Ю.И. Янова. 
 - Москва :  Мир,  1991. 
 - 407,[1] с.  22 см. 
 - Математическое обеспечение ЭВМ .
<br/><br/> Библиогр. в конце ст. 
<br/><br/><label>ISBN: </label>5-03-001635-X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительные машины электронные - Программирование - Сборники<br/>Логическое программирование - Сборники