Детальная информация
| Название | Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости): учебное пособие: [для студентов 2-го курса Мех.-мат. фак. НГУ] |
|---|---|
| Авторы | Кравченко Александр Владимирович ; Кудинов Олег Викторович |
| Организация | Новосибирский гос. университет. Механико-математический фак.. Каф. дискретной математики и информатики |
| Выходные сведения | Новосибирск: Редакционно-издательский центр НГУ, 2014 |
| Электронная публикация | Новосибирск: РИЦ НГУ, 2016 |
| Коллекция | Издания НГУ |
| Тематика | Математическая логика (задачники) ; Математическая логика (учебники) ; Труды штатных преподавателей НГУ ; Труды преподавателей и сотрудников НГУ |
| ББК | В12я73-4я04 |
| Литература по отраслям знания | Математика ( В1 ) |
| Тип документа | Учебник |
| Язык | Русский |
| Права доступа | Свободный доступ из сети Интернет (чтение, цитирование) |
| Ключ записи | RU\NSU\elcopy\590 |
| Дата создания записи | 24.04.2017 |
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Интернет | Все |
|
...
