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