Next:
Synthesis of (lambda(m n)
Up:
Multiplication of the numbers
Previous:
Abstraction `mult'
Contents
Start
Substitution of `mult' in [17]
Georg P. Loczewski 2004-03-05
Impressum und Datenschutz