Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов / Лавров Игорь Андреевич, Максимова Лариса Львовна. - 3-е изд. - Москва: Физматлит, 1995. - 255 с.: ил. - Список лит.: с. 248. - Предм. указ.: с. 250. - ISBN 5-02-014844-Х.Отраслевые рубрики: математика, математическая логика, теория алгоритмов, теория множеств Ключевые слова: аксиоматические теории, алгебра высказываний, алгебра логики, алгоритмы, задачи, логика предикатов, машина Тьюринга, множества, рекурсивные функции
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 17 | 17 | 0 | | чит. зал | 1 | 1 | 0 |
| 
Блог Мишки Б.
