Calibrating provability logic: From modal logic to reflection calculusстатья

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