Михайлов А.Б., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики. Формальные системы первого порядка

Учеб. пособие — СПб: РГПУ, 1997. — 127 с. Пособие предназначено для поддержки курса "Основы математической логики и теории алгоритмов". Содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает поурочный план практических занятий по данному разделу. Для студентов математических факультетов педагогических вузов.