V. P. Orevkov

• Complexity of proofs and their transformations in axiomatic theories
• Logical and logico-mathematical calculi. 2.
• Problems in the Constructive Trend in Mathematics V Pt. V
• Five papers on logic and foundations
• Logicheskie i logiko-matematicheskie ischislenii︠a︡. 2.
• Problems in the constructive trend in mathematics
• Problemy konstruktivnogo napravlenii︠a︡ v matematike
• Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki