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

Your search returned 2 results. Subscribe to this search

|
Вычислимость : Введение в теорию рекурсивных функций / Н. Катленд ; Пер. с англ. А.А. Мучника ; Под ред. С.Ю. Маслова.

by Катленд, Найджел | Мучник, А.А [пер.] | Маслов, С.Ю [ред.].

Material type: book Book Publisher: Москва : Мир, 1983Availability: Items available for loan: [Call number: 519.716.37 К-29] (3).
Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Пер. с англ. Ю.А. Гастева и Г.Е. Минца; Под ред. С.Ю. Маслова.

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

Material type: book Book Publisher: Москва : Мир, 1981Availability: Items available for loan: [Call number: 510.2 К-77] (6).

Powered by Koha