"Математическая логика" - читать интересную книгу автора (Никольская И.Л.)