Multiplication of the numbers `two' and `three'

- Synthesis of `mult' and `two three'
- Abstraction `mult'
- Substitution of `mult' in [17]
- Synthesis of (lambda(m n) ... ) and `two three' in [19]
- Abstraction `compose'
- Substitution of `compose' in [20]
- Synthesis of (lambda(f g) ...) and `two three' in [22]
- Abstraction `two'
- Abstraction `three'
- Substitution of `two' and `three' in [23]
- Synthesis of the inner (lambda(f) ...) and `x' in [26]
- Synthesis of (lambda(f) ...) and `(lambda(x0) ...)' in [28]
- Synthesis of the inner (lambda(x0) ...) and `x1'
- Synthesis of (lambda(x0) ...) and `(x(x(x x1)))'
- Renaming the variables: x - f und x1 - x

Georg P. Loczewski 2004-03-05