Карпов Владимир Евгеньевич

Доклады и лекции в базе данных Math-Net.Ru

1. О наследственной неразрешимости фрагментов элементарных теорий–2
   В. Е. Карпов
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   10 апреля 2024 г. 18:15
2. О наследственной неразрешимости фрагментов элементарных теорий
   В. Е. Карпов
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   3 апреля 2024 г. 18:15