Марков А.А. Элементы математической логики

Москва: Издательство Московского университета, 1984. — 80 с.Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких языков.
Для студентов и аспирантов математических специальностей и специалистов, интересующихся основаниями математики.Из предисловия редактора:
Предлагаемая вниманию читателя небольшая книга принадлежит перу выдающегося советского математика Андрея Андреевича Маркова и представляет собой несколько обработанные записки начального курса лекций, читавшегося им в течение ряда лет на механико-математическом факультете Московского университета.
Книга сильно отличается от существующих руководств по математической логике как по отбору материала, так и по стилю изложения. В соответствии со взглядами автора на характер и перспективы развития математики в целом основной упор делается на строгое изложение символического аппарата математической логики и финитной части классической семантики.
[...]
Книга доставляет также редкую возможность ознакомиться с рядом вопросов семиотики (науки о знаках и обозначениях), которые традиционно опускаются в курсах логики. Сюда относится теория однозначности чтения формул в логико-математических языках, теория подстановок. В то же время конструктивная установка автора ограничила его рассмотрения лишь конечными объектами. Даже семантика логики предикатов дана лишь для конечных областей.