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