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

Такеути, Г.

Теория доказательств : Пер. с англ. / Г. Такеути ; Пер. с англ. С.К. Соболева ; Под ред. С.И. Адяна. - Москва : Мир , 1978. - 412 с.



Subjects--Topical Terms:
Теория доказательств
Математическая логика