Непейвода, Н.Н.
    Прикладная логика : учеб. пособие для студентов вузов / Удмурт. гос. ун-т, Ин-т Открытое о-во. - Ижевск, 1997. - 384 с. - ДСП. - Библиогр.: с. 375-376. - ISBN 570290074x: беспл.

    -- 1. Диаграмма. 2. Математика. 3. Математическая логика. 4. Логика. 5. Множества. 6. Функции. 7. Фактор-множества. 8. Графы. 9. Классическая логика. 10. Индукция. 11. Синтаксис. 12. Семантика. 13. Теорема.

    УДК 16                      ГРНТИ 02.21

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