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