About admissibility of Markov's rule in set theory with intuitionistic logicтезисы доклада

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