Normal view
MARC view
Orevkov, V. P. (Personal Name)
Logicheskie i logikomatematicheskie ischislenii²a, 1968.
His Complexity of proofs and their transformations in axiomatic theories, 1993: CIP Russian t.p. (Orevkov, Vladimir Pavlovich)
Matematika v SSSR, 1958-1967, 1970: v. 2, pt. 2. p. 995 (Orevkov Vladimir Pavlovich; b. 4-24-40; kand. fiz.-mat. nauk (1966))