Математическая логика Учебное пособие Пономарев В.Ф. (2005) Издание второе, исправленное и дополненное Рекомендовано Ученым советом университета в качестве учебного пособия по дисциплине «Математическая логика и теория алгоритмов» для студентов, обучающихся по направлению552800 – «Информатика и вычислительная техника» и по специальности 654600 – «Информатика и вычислительная техника».