А
77535	Голота, Я. Я.     Установление выводимости в конструктивном исчислении высказываний путем учета глубинных зацеплений [Текст] : Автореф... канд. физ.-мат.наук: 007 / Голота Я.Я.; АН СССР. Мат. ин-т им. А.В.Стеклова. Ленингр. отд-ние. — Л., 1971. — 16л.