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