Normal view
MARC view
Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова
Material type: TextPublication details: Москва Физматлит [и др.] 2002Edition: 5-е издDescription: 255 с. 21 смISBN: 5922100262Subject(s): Множеств теория -- Задачи | Математическая логика -- Задачи | Алгоритмы -- Задачи | кардинальные числа | ординальные числа | бинарные отношения | алгебра высказываний | алгебра логики | логика предикатов | исчисление предикатов | аксиоматические теории | фильтрованные произведения | рекурсивные функции | Тьюринга машины | рекурсивные множества | Клини нумерация | Поста нумерация | учебные пособия для вузов | задачиOther classification: 22.12Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-902382к (Browse shelf (Opens below)) | 1 | Available | 13820000424629 |
Библиогр.: с. 248-249
Предм. указ.: с. 250-255
There are no comments on this title.