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




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