RUS
ENG
Full version
PEOPLE
Varpakhovskii F L
Publications in Math-Net.Ru
On the axiomatization of realizable propositional formulas
Dokl. Akad. Nauk SSSR
,
314
:1 (1990),
32–36
On a class of realizable propositional formulas
Zap. Nauchn. Sem. LOMI
,
20
(1971),
8–23
The non-realizability of disjunction of non-realizable formulae of the propositional calculus
Dokl. Akad. Nauk SSSR
,
161
:6 (1965),
1257–1258
On Maximal Perimeter of a Convex Pentagon with a Fixed Diameter
Math. Ed.
, 2010, no. 1(53),
12–16
©
Steklov Math. Inst. of RAS
, 2024