Նորմալ դիտում MARC դիտում ISBD Դիտում

Математическая теория логического вывода / Сборник пер. под. ред. А.В. Идельсона и Г.Е. Минца. - Москва : Наука, 1967. - 351с. - Математическая теория и основания математики .

Библиогр. 13 назв.

Subjects--Topical Terms:
Математическая логика