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