A Π^0_1-bounded fragment of infinitary action logic with exponentialстатья

Информация о цитировании статьи получена из Scopus
Дата последнего поиска статьи во внешних источниках: 7 июля 2021 г.