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

Математическая логика