"Вводный курс математической логики" - читать интересную книгу автора (Успенский В.А., Верещагин Н.К., Плиско В.Е.)