On arithmetical completeness of first-order logics of provabilityстатья

Дата последнего поиска статьи во внешних источниках: 26 августа 2016 г.