Next:
Natural Numbers
Up:
Discovering the Power of
Previous:
Application of extended logical
Contents
Start
Numeric Abstractions
Subsections
Natural Numbers
Explanation of `three apples'
zero
one
two
three
zerop
Arithmetic Operations
compose
Adding two numbers: add
succ
Multiplying two numbers: mult
Application of numeric abstractions
Georg P. Loczewski 2004-03-05
Impressum und Datenschutz
