Владимиров Алексей Германович

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

1. Свойства эффективности интуиционистской теории множеств со схемой collection
   
   Матем. заметки, 89:5 (2011),  658–672