| Источник | Тип ресурса | Биб. описание | Год | Количество/Ссылка |
|---|---|---|---|---|
| Каталог ЗНБ | Печатный | Лавров, Игорь Андреевич. Математическая логика [Текст]: учебное пособие для студентов вузов, обучающихся по техническим и естественно-научным специальностям / И. А. Лавров ; под ред. Л. Л. Максимовой - Москва: Академия, 2006. - 239, [1] с. | 2006 |
14
|
| ЭБС Biblioclub | Электронный | Судоплатов С. В. Математическая логика и теория алгоритмов: учебник / С. В. Судоплатов, Е. В. Овчинникова - 3-е изд. - Новосибирск: Новосибирский государственный технический университет, 2012. - 254 с. | 2012 | Ссылка |