Математическая логика. Исчисления высказываний и предикатов. Битюцкий В.П