Orevkov, V. P. books & textbook
The Calculi of Symbolic Logic.I - Proceedings of the Steklov Institute of Mathematics - Number 98
American Mathematical Society /1968-01-01 Paperback / 229 Pages
Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)
American Mathematical Society /1993-10-01 Hardcover / 153 Pages
isbn-10: 0821845764 / isbn-13: 9780821845769
Problems in the Constructive Trend in Mathematics: Part V Proceedings (Steklov Institute of Mathematics, Academy of Sciences, Ussr, No 113)
Amer Mathematical Society /1972-06-30 Paperback / 287 Pages
isbn-10: 0821830139 / isbn-13: 9780821830130
