Gerchiu V Ya

Publications in Math-Net.Ru

1. The finitely axiomatizable superintuitionistic logics
   
   Dokl. Akad. Nauk SSSR, 195:6 (1970),  1263–1266
2. The superintuitionistic logics and finitary approximability
   
   Dokl. Akad. Nauk SSSR, 195:5 (1970),  1029–1032


3. Поправки к статье “О конечно аксиоматизируемых суперинтуиционистских логиках” (ДАН, т. 195, № 6, 1970 г.)
   
   Dokl. Akad. Nauk SSSR, 199:6 (1971),  742
4. Поправки к статье “О суперинтуиционистских логиках и финитной аппроксимируемости” (ДАН, т. 195, № 5, 1970 г.)
   
   Dokl. Akad. Nauk SSSR, 199:6 (1971),  742