 |
Terms for subject Programming containing пропозициональные и функциональные переменные | all forms | in specified order only
| Russian | English |
| правила подстановки для пропозициональных и функциональных переменных | rules of substitution for propositional and functional variables (ssn) |