Kabakov Feliks Aleksandrovich

Publications in Math-Net.Ru

1. The intuitionistic deducibility of certain realizable formulae of propositional logic
   
   Dokl. Akad. Nauk SSSR, 192:2 (1970),  269–271
2. The simulation according to realizability of pseudo-Boolean algebras
   
   Dokl. Akad. Nauk SSSR, 192:1 (1970),  16–18