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