V. P. Orevkov

Identifiers

Open LibraryOL712493A

Top Subjects

Constructive mathematics (2)
Symbolic and mathematical Logic (2)
Congresses (1)
Proof theory. (1)

Books by V. P. Orevkov

Total count: 6

Problemy konstruktivnogo napravlenii︠a︡ v matematikesbornik rabot

Izd-vo "Nauka," Leningradskoe otdelenie1970-01-01
Problems in the constructive trend in mathematics

American Mathematical Society1972-01-01
Logicheskie i logiko-matematicheskie ischislenii︠a︡. 2.sbornik rabot

Izd-vo "Nauka," Leningradskoe otdelenie1972-01-01
Problems in the Constructive Trend in MathematicsPart V Proceedings (Steklov Institute of Mathematics, Academy of Sciences, USSR, No 113)

Amer Mathematical Society1972-06-01
Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logikisbornik rabot

Nauka1975-01-01
Complexity of proofs and their transformations in axiomatic theories

American Mathematical Society1993-01-01