National Science Library of Georgia

Теория формальных систем /

Смальян, Раймонд М.

Теория формальных систем / Раймонд М. Смальян ; Перевод с англ. Н. К. Косовского. - Москва : Наука, 1981. - 207 с. : с ил. 20см. - Математическая логика и основания математики .

მათემატიკური ლოგიკა

510.04
Copyright © 2023 Sciencelib.ge All rights reserved.