Моделирование логических процессов средствами пропозициональных исчисленийкнига