Большой энциклопедический словарь
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики.
Логическое исчисление
логическое исчисление