Feasibilities of one-place summation and one-place bounded multiplication operations N. K. Kosovskii OriginalPaper Pages: 493 - 495
Metamathematical approach to proving theorems of discrete mathematics Yu. V. Matiyasevich OriginalPaper Pages: 517 - 533
Finite approach to the problem of optimizing theorem-proving algorithms A. O. Slisenko OriginalPaper Pages: 597 - 603
Finite approximate approach to the study of the complexity of recursive predicates R. I. Freidson OriginalPaper Pages: 604 - 627