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