Исследования по математической логике и теории алгоритмов :  [Сборник статей] / 
Тбилисский гос. ун-т. Ин-т прикл. математики им. И.Н. Векуа ; Ред. Л.Г. Магнарадзе. 
 - Тбилиси :  Б.и.,  1975. 
 - 152. 
<br/><br/><label>Subjects--Index Terms: </label>Математическая логика