Комбинаторы — это просто!: различия между версиями

Содержимое удалено Содержимое добавлено
Строка 484:
через базовые комбинаторы следующим образом:
 
<math> \overline{n}} = (S}B}SB)^{n}(K}I}KI),</math>,
 
где под записью <math>(S}B}SB)^{n}</math> понимается
<math>n</math>-кратное приложение объекта <math<(S}B})</math> к
самому себе: