V
V. P. Orevkov
8 works on record
Works

Logical and logico-mathematical calculi. 2.

Problems in the Constructive Trend in Mathematics V Pt. V

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