Search

Your search returned 10 results.

Results
		Введение в интервальные вычисления : Пер. с англ. / Г. Алефельд, Ю. Херцбергер ; Пер. Г.Е. Минца, А.Г. Яковлева ; Под ред. Ю.В. Матиясевича. by Алефельд, Гетц \| Херцбергер, Юрген \| Минц, Г.Е [пер.] \| Яковлев, А.Г [пер.] \| Матиясевич, Ю.В [ред.]. Material type: Text Language: Russian Original language: English Publication details: Москва : Мир, 1987Availability: Items available for loan: 1 Call number: PII/578056. Place hold Add to cart (remove)
		Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Пер. с англ. Ю.А. Гастева и Г.Е. Минца; Под ред. С.Ю. Маслова. by Крайзель, Г \| Гастев, Ю.А [пер.] \| Минц, Г.Е [пер.] \| Маслов, С.Ю [ред.]. Series: Математика : Новое в зарубежной науке ; 23Material type: Text Language: Russian Original language: English Publication details: Москва : Мир, 1981Availability: Items available for loan: 2 Call number: PII/462785, ... Place hold Add to cart (remove)
		Ламбда-исчисление : Его синтаксис и семантика / Х.П. Барендрегт ; Пер. с англ. Г.Е. Минца ; Под ред. А.С. Кузичева. by Барендрегт, Хендрик Питер \| Минц, Г.Е [пер.] \| Кузичев, А.С [ред.]. Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Москва : Мир, 1985Availability: Items available for loan: 2 Call number: PII/534541, ... Place hold Add to cart (remove)
		Логика, алгебра и базы данных : Пер. с англ. / П. Грэй ; Пер. Х.И. Килова, Г.Е. Минца ; Под ред. Г.В. Орловского, А.О. Слисенко. by Грэй, Питер \| Килов, Х.И [пер.] \| Минц, Г.Е [пер.] \| Орловский, Г.В [ред.] \| Слисенко, А.О [ред.]. Material type: Text Publication details: Москва : Машиностроение , 1989Availability: Items available for loan: 2 Call number: 510.6+512, ... Place hold Add to cart (remove)
		Математическая логика : Пер. с англ. / С.К. Клини ; Пер. Ю.А. Гастева ; Под ред. Г.Е. Минца. by Клини, С.К \| Гастев, Ю.А [пер.] \| Минц, Г.Е [ред.]. Material type: Text Language: Russian Original language: English Publication details: Москва : Мир, 1973Availability: Items available for loan: 2 Call number: PII/321179, ... Place hold Add to cart (remove)
		Математическая логика и автоматическое доказательство теорем : Пер. с англ. / Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др. by Чень, Ч \| Ли, Р \| Давыдов, Г.В [пер.] \| Минц, Г.Е [пер.] \| Сочилина, А.В [пер.] \| Маслов, С.Ю [ред.]. Series: Математическая логика и основания математикиMaterial type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1983Availability: Items available for loan: 3 Call number: PII/503376, ... Place hold Add to cart (remove)
		Метаматематика элементарной математики / Э. Энгелер ; Пер. с нем. Г.Е. Минца ; Под ред. А.О. Слисенко. by Энгелер, Эрвин \| Минц, Г.Е [пер.] \| Слисенко, А.О [ред.]. Material type: Text; Literary form: Not fiction Language: Russian Original language: German Publication details: Москва : Мир, 1987Availability: Items available for loan: 1 Call number: 510. Place hold Add to cart (remove)
		Модальная логика / Р. Фейс ; Пер. Г.Е. Минца. by Фейс, Роберт \| Минц, Г.Е [пер.]. Series: Математическая логика и основания математикиMaterial type: Text Language: Russian Original language: Undetermined Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1974Availability: Items available for loan: 2 Call number: PII/336804, ... Place hold Add to cart (remove)
		Очерки по конструктивной математике : Пер. с англ. / П. Мартин-Леф : Пер. Г.Е. Минца ; Под ред. А.Г. Драгалина. by Мартин-Леф, Пьер \| Минц, Г.Е [пер.] \| Драгалин, А.Г [ред.]. Series: Библиотека сборника "Математика"Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Original language: English Publication details: Москва : Мир, 1975Other title: Notes on Constructive Mathematics.Availability: Items available for loan: 2 Call number: PII/350106, ... Place hold Add to cart (remove)
		Симметрическая конструктивная логика / И.Д. Заславский ; Отв. ред. Г.Е. Минц; ВЦ АН АрмССР. by Заславский, Игорь Дмитриевич \| Минц, Г.Е [ред.] \| Вычислительный Центр АН Армянской ССР. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Ереван : Изд-во АН АрмССР, 1978Other title: Սիմետրիկ կոնստրուկտիվ տրամաբանություն.Availability: Items available for loan: 2 Call number: PIII/44425, ... Place hold Add to cart (remove)

ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License