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