Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Ершов, Ю.Л.
Сортировать по: заглавиюСвязанные описания:
Книга
Вып.148. : Логические методы в информатике: сборник научных трудов
1993 г.
ISBN 5-7623-0675-5
ОХОФ
Вып.148. : Логические методы в информатике: сборник научных трудов
1993 г.
ISBN 5-7623-0675-5
ОХОФ
Книга
Ершов, Ю.Л.
Определимость и вычислимость
Научная книга, Экономика, 2000 г.
ISBN 5-88119-029-7
ОХОФ
Ершов, Ю.Л.
Определимость и вычислимость
Научная книга, Экономика, 2000 г.
ISBN 5-88119-029-7
ОХОФ
Книга
Вып.133. : Логические методы в программировании: сборник научных трудов
1990 г.
ISBN отсутствует
ОХОФ
Вып.133. : Логические методы в программировании: сборник научных трудов
1990 г.
ISBN отсутствует
ОХОФ
Книга
Вып.129. : Теория алгоритмов и ее приложения: сборник научных трудов
1989 г.
ISBN отсутствует
ОХОФ
Вып.129. : Теория алгоритмов и ее приложения: сборник научных трудов
1989 г.
ISBN отсутствует
ОХОФ
Книга
Ершов, Ю.Л.
Математическая логика: [учебное пособие для математических специальностей вузов]
Наука, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Ершов, Ю.Л.
Математическая логика: [учебное пособие для математических специальностей вузов]
Наука, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Ершов, Ю.Л.
Математическая логика: [учебное пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
ОХОФ, ОНЛ
Ершов, Ю.Л.
Математическая логика: [учебное пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Теория моделей и ее применения: сборник научных трудов
ISBN 5-02-028576-5
ОХОФ, ОНЛ
Теория моделей и ее применения: сборник научных трудов
Серия: Труды Института математики
Наука, Сибирское отделение, 1988 г.ISBN 5-02-028576-5
ОХОФ, ОНЛ
Книга
Гончаров, С.С.
Счетные булевы алгебры
Наука, Сибирское отделение, 1988 г.
ISBN 5-02-028628-1
ОХОФ
Гончаров, С.С.
Счетные булевы алгебры
Наука, Сибирское отделение, 1988 г.
ISBN 5-02-028628-1
ОХОФ