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

Глава

On the Reflection Calculus with Partial Conservativity Operators

P. 48-67.

В книге

Под науч. редакцией: J. Kennedy, R. de Queiroz. Vol. 10388: Lecture Notes in Computer Science. Berlin: Springer, 2017.