ՀԱՊՀ Գրադարանի Գրացուցակ = NPUA Library Catalog

Your search returned 3 results. Subscribe to this search

|
Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Пер. с англ. Ю.А. Гастева и Г.Е. Минца; Под ред. С.Ю. Маслова.

by Крайзель, Г | Гастев, Ю.А [пер.] | Минц, Г.Е [пер.] | Маслов, С.Ю [ред.].

Material type: book Book Publisher: Москва : Мир, 1981Availability: Items available for loan: [Call number: 510.2 К-77] (6).
Теория доказательств : Пер. с англ. / Г. Такеути ; Пер. с англ. С.К. Соболева ; Под ред. С.И. Адяна.

by Такеути, Г | Соболев, С.К [пер.] | Ադյան, Սերգեյ Իվանի, 1931- [ред.].

Material type: book Book Publisher: Москва : Мир , 1978Availability: Items available for loan: [Call number: 510.6 Т-15] (2).
Справочная книга по математической логике : В 4-х частях : Пер. с англ. / Под ред. Дж. Барвайса.

by Барвайс, Дж [ред.].

Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1982-Availability: Items available for loan: [Call number: 512.8(035) С-74] (20).

Powered by Koha