"Математическая теория логического вывода" - читать интересную книгу автора (Идельсон А.В., Минц Г.Е.)