Исчисления высказываний классической логики. Гуров С.И.