Сигнатура (математическая логика): различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Erud (обсуждение | вклад) Нет описания правки |
||
Строка 5:
* '''''С''''' - множество символов констант
* и функции '''''ρ''''' - сопоставляющей элементам '''''R''''' и '''''F''''' их [[арность]].
{{rq|wikify|cat|sources|iwiki}}
{{math-stub}}
|