 |
adding flexibility
| to the
| natural deduction system
| adding flexibility | |
| progr. | увеличение гибкости |
| to the | |
| gen. | с точностью до |
| natural deduction system | |
| progr. | система естественного вывода |
| |||
| увеличение гибкости (ssn) | |||
| adding flexibility: 2 phrases in 1 subject |
| Programming | 2 |