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