Труд представляет собой некоторый метод формализации логи- ческого следствия на основе исчисления квантификаторов. Этот ме- тод, основанный Бетом, является очень удобным инструментом, по- зволяющим в большинстве случаев ...