раздел математической логики, аксиоматическоепостроение логики высказываний.





Ссылка на выделенный текст