Словари Онлайн
, исчисление, символы и правила которого могут быть интерпретированы в терминах логики.
В других словарях: ...