Popov S V

Publications in Math-Net.Ru

1. About difficulties of the calculations of the arithmetical proGrams
   
   Keldysh Institute preprints, 2005, 136, 32 pp.
2. Properties of logic entropy
   
   Keldysh Institute preprints, 2005, 135, 36 pp.
3. Logic entropy
   
   Keldysh Institute preprints, 2005, 084, 27 pp.
4. About local information systems
   
   Keldysh Institute preprints, 2005, 078, 23 pp.
5. About designing information systems
   
   Keldysh Institute preprints, 2005, 075, 28 pp.
6. About eliminating of induction axiom
   
   Keldysh Institute preprints, 2005, 009, 28 pp.
7. On the way of metapsychology
   
   Keldysh Institute preprints, 2005, 005, 14 pp.
8. An undecidable intermediate calculus
   
   Algebra Logika, 20:6 (1981),  654–706
9. On the complexity of derivations in classical propositional calculus
   
   Dokl. Akad. Nauk SSSR, 228:5 (1976),  1041–1044


10. The ‘`Tuimaada" International Math Olympiad’s Problems
    
    Math. Ed., 1999, no. 2-3(9-10),  102–121