• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Models of HoTT and the Constructive View of Theories

P. 191-219.
Rodin A.