V. P. Orevkov

Complexity of proofs and their transformations in axiomatic theories

1993

Teoreticheskie primenenii︠a︡ m

Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki

1975

Logical and logico-mathematical calculi. 2.

1974

Logicheskie i logiko-matematic

Logicheskie i logiko-matematicheskie ischislenii︠a︡. 2.

1972

Problems in the constructive t

Problems in the constructive trend in mathematics

1972

Problems in the Constructive Trend in Mathematics V Pt. V

1972

Problemy konstruktivnogo napra

Problemy konstruktivnogo napravlenii︠a︡ v matematike

1970