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