Internal Logic of the H-B topos and Universal Metalogicтезисы доклада

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