Электронный каталог СКУНБ им. Лермонтова

rus
Государственное бюджетное учреждение культуры Ставропольского края
«Ставропольская краевая универсальная научная библиотека им. М. Ю. Лермонтова»
Режим работы: 10.00–20.00
Контактная информация: 8(8652)24-32-47
Предварительный заказ литературы

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск
  • Поиск одной строкой
  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Помощь

Личный кабинет :


Электронный каталог: Справочник авторов

К списку авторов

Ершов, Ю. Л.

Сортировать по: заглавию

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)
ПРОБЛЕМЫ РАЗРЕШИМОСТИ И КОНСТРУКТИВНЫЕ МОДЕЛИ
Доступно
 1 из 1
Книга
Ершов, Ю. Л.
ПРОБЛЕМЫ РАЗРЕШИМОСТИ И КОНСТРУКТИВНЫЕ МОДЕЛИ
Серия: MAT. ЛOГИKA И OCHOBAHИЯ MATEMATИKИ
Hаука, 1980 г.
ISBN 5-1401975-А
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

ТЕОРИЯ НУМЕРАЦИЙ
Доступно
 2 из 2
Книга
Ершов, Ю. Л.
ТЕОРИЯ НУМЕРАЦИЙ
Серия: MAT. ЛOГИKA И OCHOBAHИЯ MATE MATИKИ
Hаука, 1977 г.
ISBN 5-1508484-А
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доступно
 2 из 2
Книга
Ершов, Ю. Л.
МАТЕМАТИЧЕСКАЯ ЛОГИКА: УЧEБ. ПOCЛБИE ДЛЯ BУЗOB
Hаука, 1979 г.
ISBN 5-1349521-А
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

ОПРЕДЕЛИМОСТЬ И ВЫЧИСЛИМОСТЬ
Доступно
 1 из 1
Книга
Ершов, Ю. Л.
ОПРЕДЕЛИМОСТЬ И ВЫЧИСЛИМОСТЬ
Экономика, 2000 г.
ISBN 5-282-02021-1
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

ЛОГИЧЕСКИЕ МЕТОДЫ В ИНФОРМАТИКЕ
Доступно
 1 из 1
Книга

 148: ЛОГИЧЕСКИЕ МЕТОДЫ В ИНФОРМАТИКЕ
1993 г.
ISBN 5-7623-0675-5
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

Теория моделей и ее применение
Доступно
 1 из 1
Книга

 Теория моделей и ее применение
Серия: Труды / АН СССР, Сибирское отделение. Институт математики
Наука, Сиб. отд-ние, 1988 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

Математическая логика
Доступно
 2 из 2
Книга
Ершов, Ю. Л.
Математическая логика: учеб. пособие для вузов
Hаука, 1987 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

ЛОГИЧЕСКИЕ МЕТОДЫ В ПРОГРАММИРОВАНИИ
Доступно
 1 из 1
Книга

 133: ЛОГИЧЕСКИЕ МЕТОДЫ В ПРОГРАММИРОВАНИИ
1990 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

ТЕОРИЯ АЛГОРИТМОВ И ЕЕ ПРИЛОЖЕНИЯ
Доступно
 1 из 1
Книга

 Вып. 129: ТЕОРИЯ АЛГОРИТМОВ И ЕЕ ПРИЛОЖЕНИЯ
1989 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

Об удивительных расширениях поля рациональных чисел
Статья
Ершов, Ю. Л.
Об удивительных расширениях поля рациональных чисел
б.г.
ISBN отсутствует


На полку На полку

О существенных расширениях Т₀-пространств
Статья
Ершов, Ю. Л.
О существенных расширениях Т₀-пространств
б.г.
ISBN отсутствует


На полку На полку

О свободных произведениях абсолютных групп Галуа
Статья
Ершов, Ю. Л.
О свободных произведениях абсолютных групп Галуа
б.г.
ISBN отсутствует


На полку На полку

О полулокальных полях
Статья
Ершов, Ю. Л.
О полулокальных полях
б.г.
ISBN отсутствует


На полку На полку

Хорошие локально-глобальные поля
Статья
Ершов, Ю. Л.
Хорошие локально-глобальные поля
б.г.
ISBN отсутствует


На полку На полку

Определимость в на следственно конечных надстройках
Статья
Ершов, Ю. Л.
Определимость в на следственно конечных надстройках
б.г.
ISBN отсутствует


На полку На полку

Теоретико-модельные свойства RC*-полей
Статья
Ершов, Ю. Л.
Теоретико-модельные свойства RC*-полей
б.г.
ISBN отсутствует


На полку На полку

О группах Галуа RC*ζ -полей
Статья
Ершов, Ю. Л.
О группах Галуа RC*ζ -полей
б.г.
ISBN отсутствует


На полку На полку

Разрешимость теории класса полей
Статья
Ершов, Ю. Л.
Разрешимость теории класса полей
б.г.
ISBN отсутствует


На полку На полку

Относительно регулярно замкнутые поля
Статья
Ершов, Ю. Л.
Относительно регулярно замкнутые поля
б.г.
ISBN отсутствует


На полку На полку

Проективные Г-группы
Статья
Ершов, Ю. Л.
Проективные Г-группы
б.г.
ISBN отсутствует


На полку На полку

Характеризация колец Кочена PCм-полей
Статья
Ершов, Ю. Л.
Характеризация колец Кочена PCм-полей
б.г.
ISBN отсутствует


На полку На полку

Математическая логика
Доступно
 1 из 1
Книга
Шенфилд, Д. Р.
Математическая логика: пер. с англ.
Серия: Математическая логика и основания математики
Наука, 1975 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

Степени неразрешимости
Доступно
 4 из 4
Книга
Шенфилд, Д. Р.
Степени неразрешимости: пер. с англ.
Серия: Математическая логика и основания математики
Наука, 1977 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

Теория вычислений и языки спецификаций
Доступно
 1 из 1
Книга

 Теория вычислений и языки спецификаций: сборник научных трудов
Ин-т математики им. Соболева СО РАН, 1995 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН


Заказать Заказать

На полку На полку

Σ-определимость в допустимых множествах
Статья
Ершов, Ю. Л.
Σ-определимость в допустимых множествах
б.г.
ISBN отсутствует


На полку На полку

Динамическая логика над допустимыми множествами множествами
Статья
Ершов, Ю. Л.
Динамическая логика над допустимыми множествами множествами
б.г.
ISBN отсутствует


На полку На полку

Принцип Σ-перечисления
Статья
Ершов, Ю. Л.
Принцип Σ-перечисления
б.г.
ISBN отсутствует


На полку На полку

Методологические аспекты семантического программирования
Книга (аналит. описание)
Гончаров, С. С.
Методологические аспекты семантического программирования
б.г.
ISBN отсутствует


На полку На полку

© Все права защищены ООО "Компания Либэр" , 2009 - 2024  v.20.125