Gimon V V

Publications in Math-Net.Ru

1. The dependence of the rules of deduction of the second stage in Markov's step-by-step semantic system
   
   Dokl. Akad. Nauk SSSR, 212:5 (1973),  1036–1038