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