Fundamental Scientific Library of NAS RA

Your search returned 8 results.

Sort
Results
Введение в математическую логику : Пер. с англ. / Э. Мендельсон ; Пер. Ф.А. Кабакова ; Ред. С.И. Адян.

by Мендельсон, Эллиот | Кабаков, Ф.А [пер.] | Ադյան, Սերգեյ Իվանի, 1931- [ред.].

Edition: 3-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва : Наука, 1984Other title: Introduction to Mathematical Logic.Availability: Items available for loan: 3 Call number: PII/521618, ...

Введение в математическую логику / Э. Мендельсон ; Пер. с англ. Ф.А. Кабакова ; Под ред. С.И. Адяна.

by Мендельсон, Эллиот | Кабаков, Ф.А [пер.] | Ադյան, Սերգեյ Իվանի, 1931- [ред.].

Edition: 2-е изд., испр.Material type: Text Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1976Availability: Items available for loan: 2 Call number: PII/374258, ...

Математическая энциклопедия : В 5-ти т. / Редкол. И.М. Виноградов (гл. ред.) и др.

by Виноградов, Иван Матвеевич [ред.] | Адян, С.И [ред.] | Александров, П.С [ред.].

Series: Энциклопедии. Словар. СправочникиMaterial type: Text Text; Literary form: Not fiction Language: Russian Publication details: Москва : Советская энциклопедия, 1977-Availability: Items available for loan: 10 Call number: PIII/42201, ...

Основания математики : Теория доказательств / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного ; Под ред. С.И. Адяна.

by Гильберт, Давид | Бернайс, Пауль | Нагорный, Н.М [пер.] | Ադյան, Սերգեյ Իվանի, 1931- [ред.].

Series: Математическая логика и основания математикиMaterial type: Text Text; Literary form: Not fiction ; Audience: General; Language: Russian Original language: German Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1982Availability: Items available for loan: 3 Call number: PII/494540, ...

Основания математики : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного ; Под ред. С.И. Адяна.

by Гильберт, Давид | Бернайс, Пауль | Нагорный, Н.М [пер.] | Ադյան, Սերգեյ Իվանի, 1931- [ред.].

Series: Математическая логика и основания математикиEdition: 2-е изд.Material type: Text Text; Literary form: Not fiction ; Audience: General; Language: Russian Original language: German Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1982Availability: Items available for loan: 2 Call number: PII/501733, ...

Основания математики : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного ; Под ред. С.И. Адяна.

by Гильберт, Давид | Бернайс, Пауль | Нагорный, Н.М [пер.] | Ադյան, Սերգեյ Իվանի, 1931- [ред.].

Series: Математическая логика и основания математикиMaterial type: Text Text; Literary form: Not fiction ; Audience: General; Language: Russian Original language: German Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1979Availability: Items available for loan: 1 Call number: PII/442120.

Теория доказательств : Пер. с англ. / Г. Такеути ; Пер. с англ. С.К. Соболева ; Под ред. С.И. Адяна.

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

Material type: Text Text Publication details: Москва : Мир , 1978Availability: Items available for loan: 3 Call number: PII/430771, ...

Элементы математической логики / Петр Сергеевич Новиков ; С.И. Адян

by Новиков, Петр Сергеевич | Ադյան, Սերգեյ Իվանի, 1931- [edt].

Series: Математическая логика и основания математикиMaterial type: Text Text Publication details: Москва : Физматгиз , 1959Availability: Items available for loan: 1 Call number: PII/18477.

Pages


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

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