A formalization of the Tennenbaum theorem and its applications to modified realizability and Goedel interpretationтезисы доклада

Дата последнего поиска статьи во внешних источниках: 21 мая 2019 г.