Details
| Title | Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости): учебное пособие: [для студентов 2-го курса Мех.-мат. фак. НГУ] |
|---|---|
| Creators | Кравченко Александр Владимирович ; Кудинов Олег Викторович |
| Organization | Новосибирский гос. университет. Механико-математический фак.. Каф. дискретной математики и информатики |
| Electronic publication | Новосибирск: РИЦ НГУ, 2016 |
| Collection | Издания НГУ |
| Subjects | Математическая логика (задачники) ; Математическая логика (учебники) ; Труды штатных преподавателей НГУ ; Труды преподавателей и сотрудников НГУ |
| LBC | В12я73-4я04 |
| Literature on branches of knowledge | Математика ( В1 ) |
| Document type | Tutorial |
| File type | |
| Language | Russian |
| Rights | Свободный доступ из сети Интернет (чтение, цитирование) |
| Additionally | All documents |
| Record key | RU\NSU\elcopy\590 |
| Record create date | 4/24/2017 |
| Group | Anonymous |
|---|---|
| Network | Internet |
| Network | User group | Action |
|---|---|---|
| Internet | All |
|
Access count: 27
Last 30 days: 27
