Соболев Сергей Константинович

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

1. О конечномерных суперинтуиционистских логиках
   
   Изв. АН СССР. Сер. матем., 41:5 (1977),  963–986
2. Об интуиционистском исчислении высказываний с кванторами
   
   Матем. заметки, 22:1 (1977),  69–76
3. О финитной аппроксимируемости суперинтуиционистских логик
   
   Матем. сб., 102(144):2 (1977),  289–301