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