Философские проблемы формализации знания - Алексеев Б. Т. Борис Тимофеевич (Ленинград, Изд-во ЛГУ, 1981)