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