Успенский В. А. Вводный курс математической логики : [учебное пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд.. - Москва : Физматлит, 2007. - 125, [1] с.