Классификация счетныхмоделей полных теорийс континуальнымчислом типов :автореферат дис. ...канд. физ.-мат. наук Попков Роман Андреевич2015 год

Классификация счетных моделей полных теорий с континуальным числом типов : автореферат дис. ... канд. физ.-мат. наук
автореферат диссертации

Похожие публикации

  • Судоплатов Сергей Владимирович
  • 2018 год
  • Судоплатов Сергей Владимирович
  • 2018 год

Показать ещё