Значение ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ в Большом энциклопедическом словаре

Что такое ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ

исчисление, символы и правила которого могут быть интерпретированы в терминах логики.

Большой энциклопедический словарь.