Sobolev Sergei Konstantinovich

Publications in Math-Net.Ru

1. On finite-dimensional superintuitionistic logics
   
   Izv. Akad. Nauk SSSR Ser. Mat., 41:5 (1977),  963–986
2. The intuitionistic propositional calculus with quantifiers
   
   Mat. Zametki, 22:1 (1977),  69–76
3. On finite approximability of superintuitionistic logics
   
   Mat. Sb. (N.S.), 102(144):2 (1977),  289–301