Univalent Foundations and the Constructive View of Theories

Результат исследований: Прочие публикации в периодических изданияхписьмо/краткое сообщениеиная

Язык оригиналаанглийский
Том16
Нет1-2
Специализированная публикацияЛогико-философские штудии
СостояниеОпубликовано - 2018

Цитировать