RUS
ENG
Full version
PEOPLE
Patlasov M V
Publications in Math-Net.Ru
Propositional formulas closed in the minimal calculus
Fundam. Prikl. Mat.
,
6
:4 (2000),
1155–1191
©
Steklov Math. Inst. of RAS
, 2024
