Санкт-Петербург: РГПУ им.А.И.Герцена. 1998. — 172 с.
Пособие предназначено для поддержки курса "Математическая логика и
теория алгоритмов". Содержит лекционный материал по разделу
"Формальные системы первого порядка". Для студентов математических
факультетов педагогических вузов.
Михайлов А.Б., Швецкий М.В. Лекции по основам математической логики. Формальные системы первого порядка
- формат pdf
- размер 13,53 МБ
- добавлен 09 января 2017 г.
