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