|
|
Глушков В.М./ВА875
Такеути, Г.
Теория доказательств [Текст] / Г. Такеути ; пер. с англ. С. К. Соболева ; под. ред. С. И. Адяна. - М. : Мир, 1978. - 412 с. - Пер. изд. : Proof Theory / Gaisi Takeuti. - New York a.o., 1975. - 14 000 прим.
Парал. тит. арк. англ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Соболев, С. К. (пер.); Адян, С. И. (ред. пер.); Takeuti, Gaisi
Видання зберігається у :
Основний фонд
|
|