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

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

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