Якубович А М

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

1. О непротиворечивости теории типов с аксиомой выбора относительно теории типов
   
   Докл. АН СССР, 261:4 (1981),  825–828
2. Варианты аксиомы выбора в простой теории типов
   
   Матем. заметки, 30:2 (1981),  269–276
3. Идентификация погрешностей и тестовых воздействий в самокорректирующихся информационных системах с тест-прибором
   
   Автомат. и телемех., 1978, № 11,  88–101