|
|
Publications in Math-Net.Ru |
Citations |
|
1970 |
1. |
F. A. Kabakov, “The intuitionistic deducibility of certain realizable formulae of propositional logic”, Dokl. Akad. Nauk SSSR, 192:2 (1970), 269–271 |
2. |
F. A. Kabakov, “The simulation according to realizability of pseudo-Boolean algebras”, Dokl. Akad. Nauk SSSR, 192:1 (1970), 16–18 |
|