Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Владимиров Алексей Германович
В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1
Лекций и докладов: 1

Статистика просмотров:
Эта страница:189
Страницы публикаций:397
Полные тексты:189
Списки литературы:47
E-mail:

https://www.mathnet.ru/rus/person30455
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2011
1. А. Г. Владимиров, “Свойства эффективности интуиционистской теории множеств со схемой collection”, Матем. заметки, 89:5 (2011),  658–672  mathnet  mathscinet; A. G. Vladimirov, “Effectivity Properties of Intuitionistic Set Theory with Collection Scheme”, Math. Notes, 89:5 (2011), 619–632  isi  scopus 1

Доклады и лекции в базе данных Math-Net.Ru
1. Устранимость тезиса Чёрча в доказательствах негативных формул в интуиционистской теории множеств
А. Г. Владимиров
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
3 апреля 2012 г. 18:30

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024