Электронный каталог: Формализация естественного языка в терминах исчисления высказываний и исчисления предикатов перво...