1. Feasibilities of one-place summation and one-place bounded multiplication operations

   • N. K. Kosovskii

   OriginalPaper Pages: 493 - 495

2. Mutation calculi

   • S. Yu. Maslov

   OriginalPaper Pages: 496 - 517

   

3. Metamathematical approach to proving theorems of discrete mathematics

   • Yu. V. Matiyasevich

   OriginalPaper Pages: 517 - 533

4. Transfinite expansions of arithmetic formulas

   • G. E. Mints

   OriginalPaper Pages: 533 - 547

   

5. Finite investigations of transfinite derivations

   • G. E. Mints

   OriginalPaper Pages: 548 - 596

6. Finite approach to the problem of optimizing theorem-proving algorithms

   • A. O. Slisenko

   OriginalPaper Pages: 597 - 603

7. Finite approximate approach to the study of the complexity of recursive predicates

   • R. I. Freidson

   OriginalPaper Pages: 604 - 627

8. Some postulates of general taxonomy

   • A. A. Lyubishchev

   OriginalPaper Pages: 628 - 641