Your search returned 19 results.

Results
	1.		Математическая логика : Пер. с англ. / Дж. Шенфилд ; Пер. И.А. Лаврова и И.А. Мальцева ; Ред. Ю.Л. Ершов. by Шенфилд, Джозеф Лавров, И.А [пер.] Мальцев, И.А [пер.] Ершов, Ю.Л [ред.] Series: Математическая логика и основания математики Material type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1975 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/358749, ... Place hold Save to lists Add to cart (remove)
	2.		Математический интуиционизм : Введение в теорию доказательств / А.Г. Драгалин. by Драгалин, Альберт Григорьевич Series: Математическая логика и основания математики Material type: Text Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1979 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/439838. Place hold Save to lists Add to cart (remove)
	3.		Конструктивная математическая логика с точки зрения классической / П.С. Новиков. by Новиков, Петр Сергеевич Кабаков, А.Ф Series: Математическая логика и основания математики Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1977 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/402261, ... Place hold Save to lists Add to cart (remove)
	4.		Математическая логика и автоматическое доказательство теорем : Пер. с англ. / Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др. by Чень, Ч Ли, Р Давыдов, Г.В [пер.] Минц, Г.Е [пер.] Сочилина, А.В [пер.] Маслов, С.Ю [ред.] Series: Математическая логика и основания математики Material type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1983 Availability: Items available for loan: Fundamental Scientific Library (3)Call number: PII/503376, ... Place hold Save to lists Add to cart (remove)
	5.		Модальная логика / Р. Фейс ; Пер. Г.Е. Минца. by Фейс, Роберт Минц, Г.Е [пер.] Series: Математическая логика и основания математики Material type: Text Language: Russian Original language: Undetermined Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1974 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/336804, ... Place hold Save to lists Add to cart (remove)
	6.		Основания математики : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного ; Под ред. С.И. Адяна. by Гильберт, Давид Бернайс, Пауль Нагорный, Н.М [пер.] Ադյան, Սերգեյ Իվանի, 1931- [ред.] Series: Математическая логика и основания математики Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Original language: German Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1979 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/442120. Place hold Save to lists Add to cart (remove)
	7.		Основания математики : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного ; Под ред. С.И. Адяна. by Гильберт, Давид Бернайс, Пауль Нагорный, Н.М [пер.] Ադյան, Սերգեյ Իվանի, 1931- [ред.] Series: Математическая логика и основания математики Edition: 2-е изд. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Original language: German Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1982 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/501733, ... Place hold Save to lists Add to cart (remove)
	8.		Основания математики : Теория доказательств / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного ; Под ред. С.И. Адяна. by Гильберт, Давид Бернайс, Пауль Нагорный, Н.М [пер.] Ադյան, Սերգեյ Իվանի, 1931- [ред.] Series: Математическая логика и основания математики Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Original language: German Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1982 Availability: Items available for loan: Fundamental Scientific Library (3)Call number: PII/494540, ... Place hold Save to lists Add to cart (remove)
	9.		Основания интуиционистской математики с точки зрения теории рекурсивных функций / С.К. Клини, Р. Весли ; Пер. с англ. Ф.А. Кабакова и Б.А. Кушнера. by Клини, Стефен Коул Весли, Ричард Кабаков, Ф.А [пер.] Кушнер, Б.А [пер.] Series: Математическая логика и основания математики Material type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1978 Other title: The Foundations of Intuitionistic Mathematics Especialle in Relation to Recursive Functions Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/410270, ... Place hold Save to lists Add to cart (remove)
	10.		Элементы математической логики / Петр Сергеевич Новиков. by Новиков, Петр Сергеевич Series: Математическая логика и основания математики Edition: 2-е изд., испр. Material type: Text Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1973 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/330572, ... Place hold Save to lists Add to cart (remove)
	11.		Элементы математической логики / Петр Сергеевич Новиков ; С.И. Адян by Новиков, Петр Сергеевич Ադյան, Սերգեյ Իվանի, 1931- [edt] Series: Математическая логика и основания математики Material type: Text Publication details: Москва : Физматгиз , 1959 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/18477. Place hold Save to lists Add to cart (remove)
	12.		Проблемы разрешимости и конструктивные модели / Ю.Л. Ершов. by Ершов, Юрий Леонидович Series: Математическая логика и основания математики Material type: Text Language: Russian Publication details: Москва : Наука, 1980 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/456529, ... Place hold Save to lists Add to cart (remove)
	13.		Степени неразрешимости : Пер. с англ. / Дж. Шенфильд ; Пер. с англ. И.А. Лаврова ; Под ред. Ю.Л. Ершова. by Шенфилд, Джозеф Лавров, И.А [пер.] Ершов, Юрий Леонидович [ред] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Москва : Наука, 1977 Availability: Items available for loan: Fundamental Scientific Library (3)Call number: PII/408713, ... Place hold Save to lists Add to cart (remove)
	14.		Теория нумераций / Ю.Л. Ершов. by Ершов, Юрий Леонидович Series: Математическая логика и основания математики Material type: Text Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1977 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/408506, ... Place hold Save to lists Add to cart (remove)
	15.		Теория алгоритмов / А.А. Марков, Н.М. Нагорный. by Марков, Андрей Андреевич Нагорный, Николай Макарович Series: Математическая логика и основания математики Material type: Text Publication details: Москва : Наука , 1984 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: PII/525621. Place hold Save to lists Add to cart (remove)
	16.		Теория алгорифмов / А.А. Марков, Н.М. Нагорный. by Марков, Андрей Андреевич Нагорный, Николай Маркович Series: Математическая логика и основания математики Material type: Text Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1984 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/526352, ... Place hold Save to lists Add to cart (remove)
	17.		Теория формальных систем : Пер. с англ. / Р. Смальян ; Пер. Н. Косовского ; Под ред. Н.А. Шанина. by Смальян, Раймонд М Шанин, Н.А [ред.] Series: Математическая логика и основания математики Material type: Text Language: Russian Original language: English Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1981 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/471733, ... Place hold Save to lists Add to cart (remove)
	18.		Лекции по конструктивному математическому анализу / Б.А. Кушнер. by Кушнер, Борис Абрамович Series: Математическая логика и основания математики Material type: Text; Audience: General; Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1973 Availability: Items available for loan: Fundamental Scientific Library (2)Call number: PII/324447, ... Place hold Save to lists Add to cart (remove)
	19.		Лекции о вычислимых функциях / В.А. Успенский by Успенский, Владимир Андреевич Series: Математическая логика и основания математики Material type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : Физматгиз, 1960 Availability: Items available for loan: Fundamental Scientific Library (3)Call number: РII/35162, ... Place hold Save to lists 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