| Автор: | Непейвода Н. Н. ( Непейвода Николай Николаевич) |
|---|
| Место издания: | Новосибирск |
|---|
| Издательство: | Изд-во Новосиб. ун-та |
|---|
| Год издания: | 2000 |
|---|
| Количество страниц: | 521с. |
|---|
| Библиография: | Библиогр.: Предм. указ. с.482-488 |
|---|
| Классификационный индекс: | УМО вузов России |
|---|
| Авторский знак: | Н 53 |
|---|
| Тип документа: | Учебные пособия |
|---|
| Тип содержания: | Учебные издания |
|---|
| Аннотация.: | Данное пособие является элементаным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. |
|---|