Смальян, Раймонд М. Теория формальных систем / Раймонд М. Смальян ; Перевод с англ. Н. К. Косовского. - Москва : Наука, 1981. - 207 с. : с ил. 20см. - Математическая логика и основания математики . Subjects--Index Terms: მათემატიკური ლოგიკა Universal Decimal Class. No.: 510.04