Search

Your search returned 17 results.

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