Кибернетика и логическая формализация. Аспекты истории и методологии / 
АН СССР. Науч. совет по комплекс. пробл. "Кибернетика" ; Под ред. Б.В. Бирюкова, А.Г. Спиркина. 
 - Москвa :  Науч. совет по комплекс. пробл. "Кибернетика" АН СССР,  1982. 
 - 192 с. :  ил. 
 - Вопросы кибернетики  [Вып. 78] .
<br/><br/>Библиогр. в конце ст.