Теория логического вывода - Таванец П. В. (Москва, Наука, 1973)