Данное учебное пособие посвящено основам формальных логических языков.
В нем дается краткое изложение языков логики первого и второго порядков, эле-
ментов теории доказательств, теории моделей и формальной теории множеств.
Пособие основано на курсе лекций, читаемом на кафедре Компьютерных тех-
нологий Санкт-Петербургского Государственного Института Точной Механики и Оптики.