Lukas' Notes
Search titles, aliases and note text. Use # for tags.
Retry
Dark mode
Light mode
Tag: primitive-recursion
16 items with this tag.
Addition (Primitive Recursion)
primitive-recursion
Conjunction (Primitive Recursion)
primitive-recursion
Constant Function (Primitive Recursion)
primitive-recursion
Disjunction (Primitive Recursion)
primitive-recursion
Factorial (Primitive Recursion)
primitive-recursion
Less-Than Predicate (Primitive Recursion)
primitive-recursion
Multiplication (Primitive Recursion)
primitive-recursion
Negation (Primitive Recursion)
primitive-recursion
Predecessor Function (Primitive Recursion)
primitive-recursion
Primitive Recursion
primitive-recursion
Primitive-Recursive Function
primitive-recursion
Projection Function (Primitive Recursion)
primitive-recursion
Signum (Primitive Recursion)
primitive-recursion
Successor Function (Primitive Recursion)
primitive-recursion
Truncated Subtraction (Primitive Recursion)
primitive-recursion
Zero Function (Primitive Recursion)
primitive-recursion
1
2
Page 1 of 2