ՀԱՅԱՍՏԱՆԻ ԳՐԱԴԱՐԱՆՆԵՐԻ ՀԱՄԱՀԱՎԱՔ ԳՐԱՑՈՒՑԱԿ = Union Catalog of Armenian Libraries

Քո փնտրումը վերադարձրեց 3 արդյունք։

Տեսակավորում
Արդյունքներ
Математическая логика и автоматическое доказательство теорем : Пер. с англ. / Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др. Մատենաշար։ Математическая логика и основания математики
Նյութի տեսակ։ Տեքստ Տեքստ
Հրատարակման մանրամասներ։ Москва : Наука. Гл. ред. физ.-мат. лит., 1983
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (3)Տեղաբաշխում, դասիչ։ PII/503376, ... Yerevan State University Library (7)Տեղաբաշխում, դասիչ։ 519.9 Ч-438, ...

Вычислимость : Введение в теорию рекурсивных функций / Н. Катленд ; Пер. с англ. А.А. Мучника ; Под ред. С.Ю. Маслова.
Նյութի տեսակ։ Տեքստ Տեքստ
Հրատարակման մանրամասներ։ Москва : Мир, 1983
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Engineering University Library (3)Տեղաբաշխում, դասիչ։ 519.716.37 К-29, ... Fundamental Scientific Library (3)Տեղաբաշխում, դասիչ։ PII/500580, ... Shirak Regional Library (SRL) (1)Տեղաբաշխում, դասիչ։ 22.1 / К29. Yerevan State University Library (21)Տեղաբաշխում, դասիչ։ 517.11 К-295, ...

Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Пер. с англ. Ю.А. Гастева и Г.Е. Минца; Под ред. С.Ю. Маслова. Մատենաշար։ Математика : Новое в зарубежной науке ; 23
Նյութի տեսակ։ Տեքստ Տեքստ
Հրատարակման մանրամասներ։ Москва : Мир, 1981
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Engineering University Library (6)Տեղաբաշխում, դասիչ։ 510.2 К-77, ... Fundamental Scientific Library (2)Տեղաբաշխում, դասիչ։ PII/462785, ... Gegharkunik Regional Library (3)Տեղաբաշխում, դասիչ։ 22.1 К-58, ... Yerevan State University Library (4)Տեղաբաշխում, դասիչ։ 517 М-34, ...

Էջեր

Հայաստանի ազգային գրադարան ՀՀ, 0009,Երևան, Տերյան 72 Հետադարձ կապ

Ուղեկցվում է Կոհա