Web ИРБИС

   51/С741

    Справочная книга по математической [Текст] : пер.с англ. / Под ред.Ю.Л.Ершова. - М. : "Наука", 1982 - .
   Ч.1 : Теория моделей : дж.Барвайс,Х.Дж.Кейслер,П.Эклоф и др. / Дж. Барвайс; Ред. Ю.Л. Ершов. - 392 с. : ил. - Библиогр.в конце глав. - Б. ц.

ГРНТИ	27.03.19
УДК	510.67(035.5)

Рубрики: Математическая логика

Держатели документа:
Республиканская научно-техническая библиотека Казахстана
Жамбылский филиал РНТБ Казахстана

Доп.точки доступа:
Барвайс, Дж.; Ершов, Ю.Л. \ред.\
Экземпляры всего: 2
ЧЗ (1), ХР (1)
Свободны: ЧЗ (1), ХР (1)

   51/Е804

    Ершов, Ю. Л.
    Математическая логика [Текст] : учеб.пособие / Ю.Л.Ершов, Е.А.Палютин. - 2-е изд.,испр.и доп. - М. : Наука, 1987. - 336 c. - (в пер.) : 1-10 р.

ГРНТИ	27.03.19
УДК	510.6

Рубрики: Математическая логика

Держатели документа:
Жамбылский филиал РНТБ Казахстана

Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 2
ЧЗ (1), ХР (1)
Свободны: ЧЗ (1), ХР (1)

   51/Е804

    Ершов, Ю. Л.
    Математическая логика [Текст] : учеб.пособие для мат.спец.вузов / Ю.Л. Ершов, Е.А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Предм. указ.: с. 335-336. - Б. ц.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебники ипособия

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 4
ХР (4)
Свободны: ХР (4)

   510/Е804

    Ершов, Ю. Л.
    Математическая логика [Текст] : учеб.пособие для мат.спец.вузов / Ю.Л. Ершов, Е.А.Палютин. - 2-е изд.,испр.и доп. - М. : Наука, 1987. - 336 с. - 0-95 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Логика математическая--учебники

Держатели документа:
Карагандинский филиал РНТБ Казахстана

Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 2
08-ХР (2)
Свободны: 08-ХР (2)

   51/С873


    Структурные алгоритмические свойства вычисляемости [Текст] : сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров. - Новосибирск : РАН, 1996. - 153 с. - (Вычислительные системы ; 156). - 53 тг.

ГРНТИ	27.03.19
УДК	510.6

Рубрики: Математическая логика

Держатели документа:
Северо-Казахстанский филиал РНТБ

Доп.точки доступа:
Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)

   51(035)
   С 74


    Справочная книга по математической логике. В 4 ч. Ч. 3. Теория рекурсии [Текст] : перевод с английского / ред. : Ю. Л. Ершов. - М. : Наука , 1983. - 360 с. - Б. ц.

ГРНТИ	27.15.25
УДК	512.5(035.5)

Рубрики: Алгебра--512--Справочник

Доп.точки доступа:
Ершов, Ю.Л. \ред.\
Экземпляры всего: 2
12ХР (2)
Свободны: 12ХР (2)

   51/К804
   Е80

    Ершов, Ю. Л.
    Метематическая логика [] : учеб. пособие для мат. спец. вузов / Ю.Л. Ершов, Е.А.Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика

Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)

   681.3/В949
   В 94

    Вычислительные системы [Текст] : сб.науч.тр. / АН СССР, Сиб.отд-ние, Ин-т математики. - Новосибирск : ИМ, 1989 - .
   Вып.129 : Теория алгоритмов и ее приложения / ред. : Ю. Л. Ершов, С. С. Гончаров. - 198 с. : ил. - Библиогр. в конце ст. - Б. ц.

ГРНТИ	50.39
УДК	004.7(06)

Рубрики: Вычислительные системы

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)

   681.3/В949
   В 94

    Вычислительные системы [Текст] : сб.науч.тр. / АН СССР, Сиб.отд-ние, Ин-т математики. - Новосибирск : ИМ, 1990 - .
   Вып.133 : Логические методы в программировании / ред. : Ю. Л. Ершов, С. С. Гончаров. - 198 с. : ил. - Библиогр. в конце ст. - Б. ц.

ГРНТИ	50.39
УДК	004.7(06)

   681.3/В949
   В 94

    Вычислительные системы [Текст] : сб.науч.тр. / АН СССР, Сиб.отд-ние, Ин-т математики. - Новосибирск : ИМ, 1991 - .
   Вып.139 : Теория вычислимости и языки спецификаций / ред. : Ю. Л. Ершов, С. С. Гончаров. - 192 с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-0102-8 : Б. ц.

ГРНТИ	50.39
УДК	004.7(06)

   681.3/В949
   В 94

    Вычислительные системы [Текст] : сб.науч.тр. / АН СССР, Сиб.отд-ние, Ин-т математики, Ред.Ю.Л.Ершов, С.С.Гончаров. - Новосибирск : ИМ, 1992 - .
   Вып.146 : Логика и семантическое программирование. - 204 с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-0417-5 : Б. ц.

ГРНТИ	50.39
УДК	004.7(06)

   681.3/В949
   В 94

    Вычислительные системы [Текст] : сб.науч.тр. / Рос.АН , Сиб.отд-ние, Ин-т математики, Ред.Ю.Л.Ершов, С.С.Гончаров. - Новосибирск : ИМ, 1993 - .
   Вып.148 : Логические методы в информатике. - 176 с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-0417-5 : Б. ц.

ГРНТИ	50.39
УДК	004.7(06)

   51/Е804
   Е 80

    Ершов, Ю. Л.
    Математическая логика [Текст] : учеб.пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2005. - 336 с. - ISBN 5-8114-0533-2 : 400 тг.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)

   512/Г657
   Г 65

    Гончаров, С. С.
    Счетные булевы алгебры [Текст] : монография / С. С. Гончаров ; ред. Ю. Л. Ершов ; АН СССР, Сиб.отд-ние, Ин-т математики. - Новосибирск : Наука.Сиб.отд-ние, 1988. - 175 с. : ил. - Библиогр.: с.171-174 (82 назв.) . - Б. ц.

ГРНТИ	27.17.21
УДК	512.563

Рубрики: Алгебра логики

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Ершов, Ю.Л. \ред.\; АН СССР, Сиб.отд-ние, Ин-т математики
Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)

   512/А456
   А 45

    Алгебра и логика [Текст] : сб.науч.тр. / ред. Ю. Л. Ершов; АН СССР, Сиб.отд-ние; Ин-т математики. - Новосибирск : [б. и.], 1989 - .
   Т.28. , №3. - 1989. - 367 с. - Библиогр. в конце ст. - Б. ц.

ГРНТИ	27.17	27.03
УДК	512(06)	510.6(06)

Рубрики: Алгебра
Логика

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Ершов, Ю.Л. \ред.\
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)

   512/А456
   А 45

    Алгебра и логика [Текст] : сб.науч.тр. / ред. Ю. Л. Ершов; АН СССР, Сиб.отд-ние; Ин-т математики. - Новосибирск : [б. и.], 1989 - .
   Т.28. , №5. - 1989. - 612 с. - Библиогр. в конце ст. - Б. ц.

ГРНТИ	27.17	27.03
УДК	512(06)	510.6(06)

   512/А456
   А 45

    Алгебра и логика [Текст] : сб.науч.тр. / ред. Ю. Л. Ершов; АН СССР, Сиб.отд-ние; Ин-т математики. - Новосибирск : [б. и.], 1990 - .
   Т.29 , №1. - 1990. - 131 с. - Библиогр. в конце ст. - Б. ц.

ГРНТИ	27.17	27.03
УДК	512(06)	510.6(06)

   512/А456
   А 45

    Алгебра и логика [Текст] : сб.науч.тр. / ред. Ю. Л. Ершов; АН СССР, Сиб.отд-ние; Ин-т математики. - Новосибирск : [б. и.], 1990 - .
   Т.29 , №2. - 1990. - 261 с. - Библиогр. в конце ст. - Б. ц.

ГРНТИ	27.17	27.03
УДК	512(06)	510.6(06)

   512/А456
   А 45

    Алгебра и логика [Текст] : сб.науч.тр. / ред. Ю. Л. Ершов; АН СССР, Сиб.отд-ние; Ин-т математики. - Новосибирск : [б. и.], 1990 - .
   Т.29 , №3. - 1990. - 282 с. - Библиогр. в конце ст. - Б. ц.

ГРНТИ	27.17	27.03
УДК	512(06)	510.6(06)

   512/А456
   А 45

    Алгебра и логика [Текст] : сб.науч.тр. / ред. Ю. Л. Ершов; АН СССР, Сиб.отд-ние; Ин-т математики. - Новосибирск : [б. и.], 1962- - .
   Т.29 , №4. - 1990. - с 383-504 с. - Библиогр. в конце ст. - Б. ц.

ГРНТИ	27.17	27.03
УДК	512(06)	510.6(06)

request_decrypt("<.>A=Ершов, Ю. Л.$<.>","");