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

Your search returned 10 results. Subscribe to this search

|
Интегрирование алгебраических функций / Дж. Дэвенпорт ; Пер. с англ. Г.Е. Минца ; Под ред. А.О. Слисенко.

by Дэвенпорт, Джеймс | Минц, Г.Е [пер.] | Слисенко, А О [ред.].

Material type: book Book Publisher: Москва : Мир , 1985Other title: On The Integration of Algebraic Functions.Availability: Items available for loan: [Call number: 517.5 Д-94] (2).
Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Пер. с англ. Ю.А. Гастева и Г.Е. Минца; Под ред. С.Ю. Маслова.

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

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

by Барендрегт, Хендрик Питер | Минц, Г.Е [пер.] | Кузичев, А.С [ред.].

Material type: book Book Publisher: Москва : Мир , 1985Availability: Items available for loan: [Call number: 510.6 Б-24] (3).
Логика, алгебра и базы данных : Пер. с англ. / П. Грэй ; Пер. Х.И. Килова, Г.Е. Минца ; Под ред. Г.В. Орловского, А.О. Слисенко.

by Грэй, Питер | Килов, Х.И [пер.] | Минц, Г.Е [пер.] | Орловский, Г.В [ред.] | Слисенко, А.О [ред.].

Material type: book Book Publisher: Москва : Машиностроение , 1989Availability: Items available for loan: [Call number: 681.3 Г-91] (5).
Математическая теория логического вывода / Сборник пер. под. ред. А.В. Идельсона и Г.Е. Минца.

by Идельсон, А.В [ред.] | Минц, Г.Е [ред.].

Material type: book Book Publisher: Москва : Наука, 1967Availability: Items available for loan: [Call number: 510.6 М-34] (4).
Модальная логика / Р. Фейс ; Пер. Г.Е. Минца.

by Фейс, Роберт | Минц, Г.Е [пер.].

Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1974Availability: Items available for loan: [Call number: 510.6 Ф-36] (3).
Очерки по конструктивной математики : Пер. с англ. / П. Мартин-Леф : Пер. Г.Е. Минца ; Под ред. А.Г. Драгалина.

by Мартин-Леф, Пьер | Минц, Г.Е [пер.] | Драгалина, А.Г [ред.].

Material type: book Book Publisher: Москва : Мир, 1975Other title: Notes on Constructive Mathematics.Availability: Items available for loan: [Call number: 517-11 М-29] (1).
Рекурсивный математический анализ : Пер. с англ. / Р.Л. Гудстейн ; Пер. с англ. А.О. Слисенко ; Под ред. Г.Е. Минца.

by Гудстейн, Рейден Луис | Слисенко, А.О [пер.] | Минц, Г.Е [ред.].

Material type: book Book Publisher: Москва : Наука. Гл. ред. физ.-мат. лит., 1970Availability: Items available for loan: [Call number: 510.6 Г-93] (5).
Симметрическая конструктивная логика / И.Д. Заславский ; Отв. ред. Г.Е. Минц; ВЦ АН АрмССР.

by Заславский, Игорь Дмитриевич | Минц, Г.Е [ред.] | Вычислительный Центр АН Армянской ССР.

Material type: book Book Publisher: Ереван : Изд-во АН АрмССР , 1978Other title: Սիմետրիկ կոնստրուկտիվ տրամաբանություն.Availability: Items available for loan: [Call number: 510.6 З-36] (1).
Метаматематика элементарной математики / Э. Энгелер ; Пер. с нем. Г.Е. Минца ; Под ред. А.О. Слисенко.

by Энгелер, Эрвин | Минц, Г.Е [пер.] | Слисенко, А.О [ред.].

Material type: book Book; Literary form: Not fiction Publisher: Москва : Мир, 1987Availability: Items available for loan: [Call number: 51 Э-63] (1).

Powered by Koha