RUS
ENG
Full version
PEOPLE
Anikeev A S
Publications in Math-Net.Ru
Classification of derivable propositional formulas
Mat. Zametki
,
11
:2 (1972),
165–174
©
Steklov Math. Inst. of RAS
, 2024
