Кроль Михаил Данилович

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

1. Различные формы принципа непрерывности
   
   Докл. АН СССР, 271:1 (1983),  33–36
2. Различные варианты схемы Крипке в интуиционистском анализе
   
   Докл. АН СССР, 239:5 (1978),  1048–1051
3. Дизъюнктное и экзистенциальное свойства интуиционистского анализа со схемой Крипке
   
   Докл. АН СССР, 234:4 (1977),  750–753
4. К топологическим моделям интуиционистского анализа. Один контрпример
   
   Матем. заметки, 19:6 (1976),  859–862