Математическая логика. Учебник Никольская И.