Search

Your search returned 108 results.

Results
		Проблема неполноты теории и ее гносеологическое значение / Л.Г. Антипенко ; Отв. ред. Н.И. Стяжкин, Л.И. Мчедлишвили ; АН СССР, Ин-т философии. by Антипенко, Леонид Григорьевич \| Институт философии АН СССР. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука, 1986Availability: Items available for loan: 3 Call number: PII/577778, ... Place hold Add to cart (remove)
		Прямая и обратная теоремы : Элементы алгебры логики / И.С. Градштейн. by Градштейн, И.С. Edition: 5-еMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1972Availability: Items available for loan: 2 Call number: PII/302065, ... Place hold Add to cart (remove)
		Пятая Всесоюзная конференция по математической логике, посвященная 70-летию академика А.И. Мальцева, Новосибирск, 27-29 ноября 1979 г.: Тезисы докладов / АН СССР. Сибирское отд-е. Ин-т математики. by Ин-т математики(Новосибирск) \| Всесоюзная конференция по математической логике, посвященная 75-летию академика А.И. Мальцева (5) Новосибирск 27-29 ноября 1979 г. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Новосибирск : Ин-та математики СО АН СССР, 1979Availability: Items available for loan: 2 Call number: PII/445336, ... Place hold Add to cart (remove)
		Рекурсивные функции / С.С. Марченков. by Марченков, Сергей Серафимович. Series: Популярные лекции по математикеMaterial type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : Физматлит®, 2007Availability: Items available for loan: 2 Call number: РII/653249, ... Place hold Add to cart (remove)
		Решение логических и игровых задач (Логико-психологические этюды) / С.И. Шапиро. by Шапиро, Самуил Иосифович. Series: КибернетикаMaterial type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва : Радио и связь, 1984Availability: Items available for loan: 2 Call number: PII/521174, ... Place hold Add to cart (remove)
		Сборник заданий по математической логике и теории графов : Учебное пособие / В.С. Скарынкин, К.А. Белякова ; МВ и ССО РСФСР ; Горьковский гос. ун-т им. Н.И. Лобачевского. by Скарынкин, В.С \| Белякова, К.А \| Горьковский государственный университет им. Н.И. Лобачевского. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Горький : Б. и., 1974Availability: Items available for loan: 1 Call number: PII/338157. 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)
		Синтаксические и семантические исследования неэкстенсиональных логик : [Сб. ст.] / АН СССР, Ин-т философии; Отв. ред.: В.А. Смирнов. by Смирнов, Владимир Александрович [ред.] \| Институт философии АН СССР \| Академия наук СССР. Material type: Text Language: Russian Publication details: Москва : Наука, 1989Availability: Items available for loan: 1 Call number: 16. Place hold Add to cart (remove)
		Сложностные проблемы математической логики : Сборник научных трудов / Калининский гос. ун-т ; [Редкол.: М.И. Канович (отв. ред.) и др.]. by Канович, Макс Иосифович [ред.] \| Калининский государственный университет. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Калинин : Калининского гос. ун-та, 1985Availability: Items available for loan: 1 Call number: PII/540400. Place hold Add to cart (remove)
		Справочник по системе символьной математики DERIVE / \|c В. П. Дьяконов. by Дьяконов, Владимир Павлович. Series: Библиотека еженедельника PC Week/REMaterial type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : СК Пресс, 1998Availability: Items available for loan: 1 Call number: P2/645827. Place hold Add to cart (remove)
		Структурно-логические методы исследования сложных систем с применением ЭВМ / В.И. Левин. by Левин, Виталий Ильич. Series: Теория и методы системного анализаMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука, 1987Availability: Items available for loan: 1 Call number: PII/576505. Place hold Add to cart (remove)
		Тезисы докладов II Всесоюзной конференции по прикладной логике, Новосибирск, 7-9 июня 1988 г. by Всесоюзная конференция по прикладной логике (2 ; 1988 ; Новосибирск). Material type: Text; Literary form: Not fiction Language: Russian Publication details: Новосибирск : ИМ, 1988Availability: Items available for loan: 2 Call number: РII/594860, ... Place hold Add to cart (remove)
		Теория алгоритмов : Учебник для студентов высших учебных заведений, обучающихся по специальности 050202.65 (030100) - информатика / Д. Ш. Матрос, Г. Б. Поднебесова. by Матрос, Дмитрий Шаевич \| Поднебесова, Галина Борисовна. Series: Педагогическое образованиеMaterial type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : Бином. Лабoратория знаний, 2008Availability: Items available for loan: 3 Call number: PII/654372, ... Place hold Add to cart (remove)
		Теория алгоритмов: основные открытия и приложения / В.А. Успенский, А.Л. Семенов. by Успенский, Владимир Андреевич \| Семенов, Алексей Львович. Series: Библиотечка программистаMaterial type: Text Publication details: Москва : Наука , 1987Availability: Items available for loan: 2 Call number: PII/569967, ... Place hold Add to cart (remove)
		Теория дедуктивных систем и ее применения / С.Ю. Маслов. by Маслов, Сергей Юрьевич. Series: КибернетикаMaterial type: Text Publication details: Москва : Радио и связь , 1986Availability: Items available for loan: 1 Call number: PII/547350. Place hold Add to cart (remove)
		Теория и практика неопределенного программирования / Б. Лю ; Под ред. Ю. В. Тюменцева ; Пер. с англ. Ю. В. Тюменцева, Ю. Т. Каганова. by Лю, Баодин \| Тюменцев, Ю.В [пер., ред.]. Series: Адаптивные и интеллектуальные системыMaterial type: Text; Literary form: Not fiction Language: Russian Original language: English Publication details: Москва : БИНОМ. Лаб. знаний, 2012Other title: Theory and practice of uncertain programming.Availability: Items available for loan: 1 Call number: PII/656283. Place hold Add to cart (remove)
		Теория рекурсии для программистов / В.А. Головешкин, М.В. Ульянов. by Головешкин, Василий Адамович \| Ульянов, Михаил Васильевич. Series: Математика. Прикладная математикаMaterial type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : Физматлит, 2006Availability: Items available for loan: 3 Call number: Р2/652190, ... 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 Циткина, Фаина Анатольевна. Material type: Text Language: Russian Publication details: Львов : Вища шк, 1988Availability: Items available for loan: 2 Call number: PII/582260, ... Place hold Add to cart (remove)
		Третья Всесоюзная конференция по математической логике : 23-27 июня 1974 г. : Тезисы докладов / Ин-т математики СО АН СССР. by Всесоюзная конференция по математической логике (3; Новосибирск; 1974). Material type: Text; Literary form: Not fiction Language: Russian Publication details: Новосибирск : Б. и., 1974Availability: Items available for loan: 1 Call number: PII/331963. Place hold Add to cart (remove)

First
Previous
1
2
3
4
5
6
Next
Last

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

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

		Проблема неполноты теории и ее гносеологическое значение / Л.Г. Антипенко ; Отв. ред. Н.И. Стяжкин, Л.И. Мчедлишвили ; АН СССР, Ин-т философии. by Антипенко, Леонид Григорьевич \| Институт философии АН СССР. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука, 1986Availability: Items available for loan: 3 Call number: PII/577778, ... Place hold Add to cart (remove)
		Прямая и обратная теоремы : Элементы алгебры логики / И.С. Градштейн. by Градштейн, И.С. Edition: 5-еMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1972Availability: Items available for loan: 2 Call number: PII/302065, ... Place hold Add to cart (remove)
		Пятая Всесоюзная конференция по математической логике, посвященная 70-летию академика А.И. Мальцева, Новосибирск, 27-29 ноября 1979 г.: Тезисы докладов / АН СССР. Сибирское отд-е. Ин-т математики. by Ин-т математики(Новосибирск) \| Всесоюзная конференция по математической логике, посвященная 75-летию академика А.И. Мальцева (5) Новосибирск 27-29 ноября 1979 г. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Новосибирск : Ин-та математики СО АН СССР, 1979Availability: Items available for loan: 2 Call number: PII/445336, ... Place hold Add to cart (remove)
		Рекурсивные функции / С.С. Марченков. by Марченков, Сергей Серафимович. Series: Популярные лекции по математикеMaterial type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : Физматлит®, 2007Availability: Items available for loan: 2 Call number: РII/653249, ... Place hold Add to cart (remove)
		Решение логических и игровых задач (Логико-психологические этюды) / С.И. Шапиро. by Шапиро, Самуил Иосифович. Series: КибернетикаMaterial type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва : Радио и связь, 1984Availability: Items available for loan: 2 Call number: PII/521174, ... Place hold Add to cart (remove)
		Сборник заданий по математической логике и теории графов : Учебное пособие / В.С. Скарынкин, К.А. Белякова ; МВ и ССО РСФСР ; Горьковский гос. ун-т им. Н.И. Лобачевского. by Скарынкин, В.С \| Белякова, К.А \| Горьковский государственный университет им. Н.И. Лобачевского. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Горький : Б. и., 1974Availability: Items available for loan: 1 Call number: PII/338157. 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)
		Синтаксические и семантические исследования неэкстенсиональных логик : [Сб. ст.] / АН СССР, Ин-т философии; Отв. ред.: В.А. Смирнов. by Смирнов, Владимир Александрович [ред.] \| Институт философии АН СССР \| Академия наук СССР. Material type: Text Language: Russian Publication details: Москва : Наука, 1989Availability: Items available for loan: 1 Call number: 16. Place hold Add to cart (remove)
		Сложностные проблемы математической логики : Сборник научных трудов / Калининский гос. ун-т ; [Редкол.: М.И. Канович (отв. ред.) и др.]. by Канович, Макс Иосифович [ред.] \| Калининский государственный университет. Material type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Калинин : Калининского гос. ун-та, 1985Availability: Items available for loan: 1 Call number: PII/540400. Place hold Add to cart (remove)
		Справочник по системе символьной математики DERIVE / \|c В. П. Дьяконов. by Дьяконов, Владимир Павлович. Series: Библиотека еженедельника PC Week/REMaterial type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : СК Пресс, 1998Availability: Items available for loan: 1 Call number: P2/645827. Place hold Add to cart (remove)
		Структурно-логические методы исследования сложных систем с применением ЭВМ / В.И. Левин. by Левин, Виталий Ильич. Series: Теория и методы системного анализаMaterial type: Text; Literary form: Not fiction ; Audience: General; Language: Russian Publication details: Москва : Наука, 1987Availability: Items available for loan: 1 Call number: PII/576505. Place hold Add to cart (remove)
		Тезисы докладов II Всесоюзной конференции по прикладной логике, Новосибирск, 7-9 июня 1988 г. by Всесоюзная конференция по прикладной логике (2 ; 1988 ; Новосибирск). Material type: Text; Literary form: Not fiction Language: Russian Publication details: Новосибирск : ИМ, 1988Availability: Items available for loan: 2 Call number: РII/594860, ... Place hold Add to cart (remove)
		Теория алгоритмов : Учебник для студентов высших учебных заведений, обучающихся по специальности 050202.65 (030100) - информатика / Д. Ш. Матрос, Г. Б. Поднебесова. by Матрос, Дмитрий Шаевич \| Поднебесова, Галина Борисовна. Series: Педагогическое образованиеMaterial type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : Бином. Лабoратория знаний, 2008Availability: Items available for loan: 3 Call number: PII/654372, ... Place hold Add to cart (remove)
		Теория алгоритмов: основные открытия и приложения / В.А. Успенский, А.Л. Семенов. by Успенский, Владимир Андреевич \| Семенов, Алексей Львович. Series: Библиотечка программистаMaterial type: Text Publication details: Москва : Наука , 1987Availability: Items available for loan: 2 Call number: PII/569967, ... Place hold Add to cart (remove)
		Теория дедуктивных систем и ее применения / С.Ю. Маслов. by Маслов, Сергей Юрьевич. Series: КибернетикаMaterial type: Text Publication details: Москва : Радио и связь , 1986Availability: Items available for loan: 1 Call number: PII/547350. Place hold Add to cart (remove)
		Теория и практика неопределенного программирования / Б. Лю ; Под ред. Ю. В. Тюменцева ; Пер. с англ. Ю. В. Тюменцева, Ю. Т. Каганова. by Лю, Баодин \| Тюменцев, Ю.В [пер., ред.]. Series: Адаптивные и интеллектуальные системыMaterial type: Text; Literary form: Not fiction Language: Russian Original language: English Publication details: Москва : БИНОМ. Лаб. знаний, 2012Other title: Theory and practice of uncertain programming.Availability: Items available for loan: 1 Call number: PII/656283. Place hold Add to cart (remove)
		Теория рекурсии для программистов / В.А. Головешкин, М.В. Ульянов. by Головешкин, Василий Адамович \| Ульянов, Михаил Васильевич. Series: Математика. Прикладная математикаMaterial type: Text; Literary form: Not fiction Language: Russian Publication details: Москва : Физматлит, 2006Availability: Items available for loan: 3 Call number: Р2/652190, ... 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 Циткина, Фаина Анатольевна. Material type: Text Language: Russian Publication details: Львов : Вища шк, 1988Availability: Items available for loan: 2 Call number: PII/582260, ... Place hold Add to cart (remove)
		Третья Всесоюзная конференция по математической логике : 23-27 июня 1974 г. : Тезисы докладов / Ин-т математики СО АН СССР. by Всесоюзная конференция по математической логике (3; Новосибирск; 1974). Material type: Text; Literary form: Not fiction Language: Russian Publication details: Новосибирск : Б. и., 1974Availability: Items available for loan: 1 Call number: PII/331963. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Collections

Languages

Your search returned 108 results.