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