НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ

исчисление естественного в ы в о д а) – общее название логич. исчислений [введенных и впервые описанных нем. логиком и математиком Г. Генценом (1934) и польским логиком С. Яськовским (1934) с целью формал