Электронный каталог МАУК "МИБС" г. Кемерово

Книга
87.4 Н53

Непейвода, Николай Николаевич.
Прикладная логика : учебное пособие для вузов / Николай Николаевич Непейвода . – Ижевск : Издательство Удмуртского университета, 1997 . – 385 с. - ISBN 5-7029-0074-X .

Пособие является элементарным введением в язык современной математики и методы современной математической логики. /чз-1/

ББК 87.4я73
ББК 87.4

ключевой = Логика - учебники для вузов
ключевой = Логика прикладная
Общий = Конвертация
Общий = Логика классическая
ключевой = Логика математическая
ключевой = Формулы логические
ключевой = Высказывания
ключевой = Языки естественные
ключевой = Языки математические
ключевой = Таблицы семантические
ключевой = Анализ нестандартный