Математическая логика. Алехина М.А.