ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ,
раздел математической логики, аксиоматическое построение логики высказываний.
Тегов нет: