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