RUS
ENG
Full version
PEOPLE
Reznikoff Iégor
Publications in Math-Net.Ru
On independent recursive axiomatisation in intuitionistic logic
Algebra i Logika. Sem.
,
6
:6 (1967),
21–27
©
Steklov Math. Inst. of RAS
, 2025
