Математическая логика - Никольская И.Л.