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