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

Глава

Extra-Logical Proof-Theoretic Semantics in Homotopy Type Theory

P. 42-43.