Cut-free proof systems for non-standard modal logics based on S5тезисы доклада

Дата последнего поиска статьи во внешних источниках: 15 декабря 2021 г.