"Первое знакомство с математической логикой" - читать интересную книгу автора (Депман И.Я.)