Вернуться к Подробностям о статье
Теорема о полноте для семантики пропозиционального фрагмента одной системы Аккермана.
Скачать
Скачать PDF