Математическая логика. Типовые расчеты. Лоскутова Е.С