Return to Article Details
Теорема о полноте для семантики пропозиционального фрагмента одной системы Аккермана.
Download
Download PDF