Encyclopedia of Mathematics
Bar_induction
https://www.encyclopediaofmath.org/index.php/Bar_induction
Входящие связи
← close match · 2
Внешние ссылки
- https://www.encyclopediaofmath.org/index.php/Bar_induction (Encyclopedia of Mathematics)