1. Diophantine representations of linear recurrent sequences. II

   • M. A. Vsemirnov

   OriginalPaper Pages: 427 - 441

2. Separating signs in the propositional satisfiability problem

   • E. A. Hirsch

   OriginalPaper Pages: 442 - 463

3. Number representations of satisfiability

   • G. V. Davydov
   • I. M. Davydovà

   OriginalPaper Pages: 464 - 478

4. Probabilistic verification of proofs in calculuses

   • E. Ya. Dantsin

   OriginalPaper Pages: 479 - 489

5. Refinement of bounds of the height of terms in the most general unifier

   • B. Yu. Konev

   OriginalPaper Pages: 490 - 499

6. Gradable logical values for knowledge representation

   • N. K. Kossovskii
   • A. V. Tishkov

   OriginalPaper Pages: 500 - 507