Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов / Лавров Игорь Андреевич, Максимова Лариса Львовна. - 5-е изд., испр. - Москва: Физматлит, 2002. - 256 с.: ил. - Список лит.: с. 248. - Предм. указ.: с. 250. - ISBN 978-5-9221-0026-7.Отраслевые рубрики: математика, математическая логика, теория алгоритмов, теория множеств Ключевые слова: аксиматизируемые классы, аксиоматические теории, алгебра высказываний, алгебра логики, алгоритмы, бинарные отношения, задачи, исчисление высказываний, кардинальные числа, Клини нумерация, логика предикатов, машина Тьюринга, множества, ординальные числа, Поста нумерация, рекурсивные функции, фильтрованные произведения, частично рекурсивные функции Условия доступа:
Университетская библиотека онлайн
Доступ по логину и паролю. Доступ до 08.06.2026.
| 
Блог Мишки Б.
