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