 |
| |||
| бинарное функциональное исчисление; бинарное исчисление предикатов | |||
|
binary functional calculus : 2 צירופים, 1 נושאים |
| מָתֵימָטִיקָה | 2 |
|
| |||
| бинарное функциональное исчисление; бинарное исчисление предикатов | |||
|
binary functional calculus : 2 צירופים, 1 נושאים |
| מָתֵימָטִיקָה | 2 |