RUS
ENG
Full version
PEOPLE
Lamport Leslie
Publications in Math-Net.Ru
Математическое доказательство: от поколения к поколению
Mat. Pros., Ser. 3
,
34
(2025),
5–35
©
Steklov Math. Inst. of RAS
, 2026
