The following pages link to V. P. Orevkov (Q684959):
Displaying 50 items.
- Remark on Kreisel's conjecture (Q684960) (← links)
- Upper bound on the lengthening of proofs by cut elimination (Q1077414) (← links)
- Solvable classes of pseudoprenex formulas (Q1147118) (← links)
- Lower bounds for increasing complexity of derivations after cut elimination (Q1167721) (← links)
- Three ways of recognizing inessential formulas in sequents (Q1167722) (← links)
- Decidable classes reducing to a one-quantifier class (Q1215621) (← links)
- On the complexity of expansion of algebraic irrationalities in continued fractions (Q1238845) (← links)
- A specialization of the form of deductions in Gentzen calculi and its applications (Q1245933) (← links)
- New proof of the uniqueness theorem for constructive differentiable functions of a complex variable (Q1256469) (← links)
- Undecidable classes of formulas for the constructive predicate calculus. I (Q1845875) (← links)
- Cut rule for the resolution method (Q2253866) (← links)
- Proof schemata in Hilbert-type axiomatic theories (Q2276941) (← links)
- Über konstruktive Abbildungen endlicher Polyeder (Q2539042) (← links)
- Equivalence of two definitions of continuity (Q2557255) (← links)
- On the continuity of constructive functionals (Q2557256) (← links)
- On biconjunctive reduction classes (Q2557257) (← links)
- Nikolai Aleksandrovich Shanin (obituary) (Q2868459) (← links)
- (Q3469081) (← links)
- (Q3481697) (← links)
- Nikolai Aleksandrovich Shanin (on his seventieth birthday) (Q3483254) (← links)
- (Q3496332) (← links)
- (Q3778747) (← links)
- (Q3794178) (← links)
- (Q3816070) (← links)
- (Q3816071) (← links)
- (Q3859764) (← links)
- (Q3866101) (← links)
- (Q3866102) (← links)
- NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday) (Q3909013) (← links)
- (Q3972528) (← links)
- (Q4109666) (← links)
- (Q4113809) (← links)
- (Q4133610) (← links)
- (Q4274311) (← links)
- Nikolai Aleksandrovich Shanin (on his 80th birthday) (Q4709962) (← links)
- (Q4766965) (← links)
- (Q5187274) (← links)
- (Q5460923) (← links)
- (Q5534212) (← links)
- (Q5551114) (← links)
- (Q5551390) (← links)
- (Q5553292) (← links)
- (Q5559242) (← links)
- (Q5559243) (← links)
- (Q5559244) (← links)
- (Q5560259) (← links)
- (Q5573382) (← links)
- (Q5581595) (← links)
- (Q5581619) (← links)
- (Q5590059) (← links)