ZFIR+CT is equiconsistent with ZFIRстатья

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