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