reduce(
x,y. 
(x)+y;0;nil) 
3. v: Formula List
4. reduce(
x,y. (x)+y;0;v) reduce(x,y. (x)+y;0;u.v) reduce(x,y. (x)+y;0;L) | 1 | reduce(x,y. (x)+y;0;nil) |
| 2 | 2. u: Formula 3. v: Formula List 4. reduce( x,y. (x)+y;0;v) reduce(x,y. (x)+y;0;u.v) |
About:
 |  |  |  |  |  |  |  |