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

Статья

Попов В.М. Погружение исчисления RM в его позитивный фрагмент

Логические исследования. 2003. № 10. С. 94-100.