ISBN: 5-7615-0490-1
Тираж издания: 2000
Фамилия автора в заголовке: Непейвода
Инициалы автора (личного имени (имен)): Н. Н.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Прикладная логика
Сведения, относящиеся к заглавию: Учеб. пособие
Первые сведения об ответственности: Н. Н. Непейвода
Сведения об издании: 2-е изд.
Дополнительные сведения об издании: испр. и доп.
Место издания: Новосибирск
Издатель: Издательство Новосибирского гос. ун-та
Дата издания: 2000
Объем издания (количество страниц): 488
Высота, см.: 22
Определитель УДК: (075.8)
Полная форма имени (имен) и отчества: Николай Николаевич
Индекс УДК: 510
Статус записи (Тип информации): В наличии
Вес в граммах: 750
Артикул: 288691
Аннотация:

Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня.