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

Глава

Interpretations of presburger arithmetic in itself(

P. 354-367.
Zapryagaev A., Pahomov F.