Вводный курс математической логики: учебное пособие - Успенский В. А. Владимир Андреевич (Математика)